M.: The Larch Family of Specification Languages (1985)

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