Ashcroft, E. A.; Wadge, W. W. Lucid - a formal system for writing and proving programs. (English) Zbl 0362.68030 SIAM J. Comput. 5, 336-354 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 12 Documents MSC: 68N01 General topics in the theory of software Software:LCF PDF BibTeX XML Cite \textit{E. A. Ashcroft} and \textit{W. W. Wadge}, SIAM J. Comput. 5, 336--354 (1976; Zbl 0362.68030) Full Text: DOI