Algebraically Specified Programming Systems and Hoare's Logic.

Jan A. Bergstra, John V. Tucker

Browse the full ICALP paper archive.