IEEE Trans Soft Eng, SE-12(02) February 1986

• Henderson, Peter (1986) Henderson, Peter "Functional Programming, Formal Specification and Rapid Prototyping",