Algebraic Identities for Program Calculation

Richard S. Bird. Algebraic Identities for Program Calculation. Comput. J., 32(2):122-126, 1989.

Abstract

Abstract is missing.