Consistent formal theories of the semantics of programming languages
By: P. Lauer.
Series: TR 25.121
Publisher: IBM Laboratory Vienna
Published: 1971
Place of publication: Vienna, Austria
Language: eng
Number of pages: 122
Subjects: Formal languages.
Notes: Thesis--Queen's University of Belfast.

Bibliography: p. 116-122.