University of Oxford Department of Computer Science

Algebraic Identities for Program Calculation

Richard S. Bird

Journal

Computer Journal

Month

apr

Number

2

Pages

122–126

Volume

32

Year

1989

Links

See Also

Richard Bird

Algebra of Programming

Back to Top