Algebraic Identities for Program Calculation (1989)

by R S Bird
Venue:The Computer Journal