Peter Lucas On the Formalization of Programming Languages: Early History and Main Approaches. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:1-23 [Conf]
Dines Bjørner Programming in the META-Language: A Tutorial. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:24-217 [Conf]
Cliff B. Jones The META-Language: A Reference Manual. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:218-277 [Conf]
Cliff B. Jones Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:278-304 [Conf]
Wolfgang Henhapl, Cliff B. Jones A Formal Definition of Algol 60 as Described in the 1975 Modified Report. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:305-336 [Conf]
Dines Bjørner Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. [Citation Graph (0, 0)][DBLP] The Vienna Development Method: The Meta-Language, 1978, pp:337-374 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP