Larch: Languages and Tools for Formal Specification - John V. Guttag; James J. Horning; Stephen J. Garland; Kevin D. Jones; A. Modet; Jeannette M. Wing (Springer, 1993)