Consistent formal theories of the semantics of programming languages.
Published: 1971
Language: eng
Notes: Thesis (Ph. D.)--The Queens' University of Belfast, 1971.