me too - Peter Henderson, 1984. Functional language for executable
specifications. Like LispKit Lisp, but with sets, maps and sequences to
describe the specification. "Functional Programming, Formal Specification
and Rapid Prototyping", IEEE Trans Soft Eng, SE-12(2):241-250 (Feb 1986).
Comments, Experience, Additions
Next Language: MELD