The Vienna Development Method:
The Meta-Language 1978
Dines Bjørner, Cliff B. Jones (Eds.):
The Vienna Development Method: The Meta-Language.
Lecture Notes in Computer Science 61 Springer 1978, ISBN 3-540-08766-4 
- Peter Lucas:
On the Formalization of Programming Languages: Early History and Main Approaches.
1-23
- Dines Bjørner:
Programming in the META-Language: A Tutorial.
24-217
- Cliff B. Jones:
The META-Language: A Reference Manual.
218-277
- Cliff B. Jones:
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
278-304
- Wolfgang Henhapl, Cliff B. Jones:
A Formal Definition of Algol 60 as Described in the 1975 Modified Report.
305-336
- Dines Bjørner:
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
337-374
Copyright © Thu Nov 12 00:33:48 2009
by Michael Ley (ley@uni-trier.de)
