Functional programming, formal specification and rapid prototyping (1986)

by Peter Henderson
Venue:IEEE Transactions on Software Engineering