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

by J V Guttag, J J Horning