Larch/CLU

The Larch specification language for CLU. It was used in Abstraction and Specification in Program Development, Barbara Liskov & John Guttag, MIT Press, 1986.