Valdis Berzins Michael Gray Analysis and Design in MSG.84: Formalizing Functional Specifications. 657-670 1985 11 IEEE Trans. Software Eng. 8 db/journals/tse/tse11.html#BerzinsG85 http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232516