-D. Bjorner/C. B. Jones (Eds.): The Vienna Development Method: The Meta-Language, Springer-Verlag 1978