Berzins V. et al "Analysis and Design in MSG.84: Formalizing Functional Specifications"

(1985) IEEE Trans Soft Eng 11(08) August 1985  

Languages mentioned MSG.84 {1985}