"Larch: Languages and Tools for Formal Specification", Guttag and Horning, Springer 1993.
(1993)
Languages mentioned
Larch
{1985}