Hoare, C. A. R. Programs are predicates. (English) Zbl 0558.68004 Philos. Trans. R. Soc. Lond., A 312, 475-489 (1984). Reviewer: C.Masagliu MSC: 68N01 PDFBibTeX XMLCite \textit{C. A. R. Hoare}, Philos. Trans. R. Soc. Lond., Ser. A 312, 475--489 (1984; Zbl 0558.68004) Full Text: DOI
Good, D. I. Mechanical proofs about computer programs. (English) Zbl 0544.68012 Philos. Trans. R. Soc. Lond., A 312, 389-409 (1984). MSC: 68Q60 68N99 PDFBibTeX XMLCite \textit{D. I. Good}, Philos. Trans. R. Soc. Lond., Ser. A 312, 389--409 (1984; Zbl 0544.68012) Full Text: DOI
Turner, D. A. Functional programs as executable specifications. (English) Zbl 0544.68003 Philos. Trans. R. Soc. Lond., A 312, 363-388 (1984). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{D. A. Turner}, Philos. Trans. R. Soc. Lond., Ser. A 312, 363--388 (1984; Zbl 0544.68003) Full Text: DOI Link