Bergstra, J. A.; Tucker, J. V. Hoare’s logic for programming languages with two data types. (English) Zbl 0522.68012 Theor. Comput. Sci. 28, 215-221 (1984). MSC: 68N01 68Q60 68P05 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, Theor. Comput. Sci. 28, 215--221 (1984; Zbl 0522.68012) Full Text: DOI Link
Bergstra, J. A.; Tucker, J. V. Expressiveness and the completeness of Hoare’s logic. (English) Zbl 0549.68021 J. Comput. Syst. Sci. 25, 267-284 (1982). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 68Q60 03D60 03C35 03B60 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, J. Comput. Syst. Sci. 25, 267--284 (1982; Zbl 0549.68021) Full Text: DOI Link
Bergstra, J. A.; Tucker, J. V. Expressiveness and the completeness of Hoare’s logic. (English) Zbl 0437.68009 Math. Cent., Amst., Afd. Inf. IW 149/80, 20 p. (1980). MSC: 68Q60 03D35 03D75 PDFBibTeX XML