The Vienna development method : THE META-LANGUAGE - Bjorner, Dines (Springer-Verlag, 1978)