Larch: Languages and Tools for Formal Speci (1993)

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