THE VIENNA DEVELOPMENT METHOD. The Meta-language - Lucas, Peter (Lecture notes in computer science, 1978)