The larch family of specification languages (1985)

by J V GUTTAG, J J HORNING, J M WING
Venue:IEEE Softw