The Vienna Development Method: the Meta-Language - Bjorner, D. (Lecture Notes in Computer Science Ser.)