IEEE Trans Soft Eng 2(5) September 1985

• Guttag, J. et al (1985) Guttag, J. et al "The Larch Family of Specification Languages"