Consistent formal theories of the semantics of programming languagesPeter Ernst Lauer · First published 1971Open the Tome