资料来源 : Free On-Line Dictionary of Computing

me too
     
        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)