Algebraic identities for program calculation (0)

by R Bird
Venue:Computer J. 1989