IEEE Trans Soft Eng 11(08) August 1985

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