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 BibTeX

@proceedings{DBLP:conf/fm/1978,
  editor    = {Dines Bj{\o}rner and
               Cliff B. Jones},
  title     = {The Vienna Development Method: The Meta-Language},
  booktitle = {The Vienna Development Method: The Meta-Language},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {61},
  year      = {1978},
  isbn      = {3-540-08766-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Peter Lucas: On the Formalization of Programming Languages: Early History and Main Approaches. 1-23 BibTeX
Dines Bjørner: Programming in the META-Language: A Tutorial. 24-217 BibTeX
Cliff B. Jones: The META-Language: A Reference Manual. 218-277 BibTeX
Cliff B. Jones: Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. 278-304 BibTeX
Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. 305-336 BibTeX
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 BibTeX