Functional programs as executable specifications (1984)

by D A Turner
Venue:Phil. Trans. R. Soc. Lond, A