Hoare, C. A. R.; Lauer, P. E. Consistent and complementary formal theories of the semantics of programming languages. (English) Zbl 0264.68006 Acta Inf. 3, 135-153 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 23 Documents MSC: 68Q45 Formal languages and automata 68N01 General topics in the theory of software Software:LCF PDF BibTeX XML Cite \textit{C. A. R. Hoare} and \textit{P. E. Lauer}, Acta Inf. 3, 135--153 (1974; Zbl 0264.68006) OpenURL