A functional language for executable specifications developed by Peter Henderson in 1984. IT is 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)]. (1994-10-21)