The Larch family of specification languages (1985)

by J V Guttag, J J Horning, J M Wing
Venue:IEEE Software