Henderson, Peter "Functional Programming, Formal Specification and Rapid Prototyping",

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

Languages mentioned me-too {1984} Functional language for executable specifications