Jan A. Bergstra, J. Terlouw. A Characterization of Program Equivalence in Terms of Hoare s Logic. In Wilfried Brauer, editor, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Volume 50 of Informatik-Fachberichte, pages 72-77, Springer, 1981.
Abstract is missing.