Functional Programs as Executable Specifications (1984)

by D A Turner
Venue:Phi. Trans. R. Soc. Lond. A