me too

Peter Henderson, 1984

A functional language for executable specifications. Similar to LispKit Lisp, but with sets, maps and sequences to describe the specification.

"Functional Programming, Formal Specification and Rapid Prototyping", IEEE Transactions on Software Engineering, SE-12(2):241-250 (Feb 1986).