me too

A functional language for executable specifications

developed by Peter Henderson in 1984. It is like LispKitLisp, 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)].

(1994-10-21)