Specificatie en Verificatie van Functionele Programmatuur in Hogere-Orde-Logica door P. Audenaert