Functional Programs as Executable Specifications [and Discussion]

D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann, M. H. Rogers
1984 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
doi:10.1098/rsta.1984.0065 fatcat:s2jq4lnauvfdzd5alqp2stsxsm