Program development through proof transformation

• 1 January 1990
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• p. 251-262
• https://doi.org/10.1090/conm/106/1057826

Abstract