Dines Bjørner. Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM. In Erich J. Neuhold, Manfred Paul 0001, editors, Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, pages 137-258, Springer, 1989.
Abstract is missing.