Algebraic identities for program calculation (1989)

by R S Bird
Venue:The Computer Journal