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)