Larch: Languages and Tools for Formal Speci cation (1993)

by John V Guttag, James J Horning, S J Garland, K D Jones, A Modet, J M Wing