Functional programs exec. specification door Koopmann