The Vienna development method : THE META-LANGUAGE - Bjorner, Dines; Jones, C. B. (Lecture Notes in Computer Science, 1978)