LARCH/CLU

LARCH/CLU

(language, specification)
The Larch specification language for CLU. Used in "Abstraction and Specification in Program Development", B. Liskov & J. Guttag, MIT Press 1986.