A Characterization of Program Equivalence in Terms of Hoare's Logic.

Jan A. Bergstra, J. Terlouw

Browse the full GI paper archive.