TY  - GEN
AU  - Bird, Richard
AU  - De Moor, Oege
TI  - Algebra of programming
SN  - 812031364X
U1  - 511.8 
PY  - 1998///
CY  - New Delhi
PB  - Prentice-Hall
KW  - Mathematical models
ER  -