Functional Programming, Formal Specification and Rapid Prototyping (1986)

by Peter Henderson
Venue:IEEE Trans. Soft. Eng