LOGICA: FORMEEL EN INFORMEEL by W.A. de Pater