Source : Free On-Line Dictionary of Computing

LARCH/CLU
     
         The {Larch} specification language
        for {CLU}.  Used in "Abstraction and Specification in Program
        Development", B. Liskov & J. Guttag, MIT Press 1986.
     
        (1996-01-02)