The Vienna development method : THE META-LANGUAGE. - Bjorner, Dines; Jones, C. B. (Springer-Verlag, 1978)