The Larch Family of Specification Languages (1985)

by J Guttag, J Hornung, J Wing
Venue:IEEE Software