1990], "Functional programs as executable specifications (0)

by PWM Koopman