Burstall, R. M. Some techniques for proving correctness of programs which alter data structures. (English) Zbl 0259.68009 Machine Intell. 7, 23-50 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 27 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML Cite \textit{R. M. Burstall}, Mach. Intell. 7, 23--50 (1972; Zbl 0259.68009) OpenURL