Larch: Languages and Tools for Formal Speci (1993)

by John V Guttag, James J Horning