et al. Larch: Languages and Tools for Formal Specification (1993)

by J V Guttag, J J Horning