The Vienna development method: the meta-language - Bjorne, D.; Jones, C. B. (Springer-Verlag, 1978)