Functional programs as executable specifications (1990)

by Pieter Koopman