Larch: Languages and tools for formal specification (1993)

by J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing
Venue:TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE