Guttag, J. et al "The Larch Family of Specification Languages"

(1985) IEEE Trans Soft Eng 2(5) September 1985  

Languages mentioned Larch {1985}