Wand, Mitchell A new incompleteness result for Hoare’s system. (English) Zbl 0364.68008 J. Assoc. Comput. Mach. 25, 168-175 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 21 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML Cite \textit{M. Wand}, J. Assoc. Comput. Mach. 25, 168--175 (1978; Zbl 0364.68008) Full Text: DOI