Functional Programming, Formal Specification, and Rapid Prototyping (1986)

by P Henderson
Venue:IEEE Transactions on Software Engineering