TY  - BOOK
AU  - Backhouse R.(et-al) (ed)
TI  - Mathematics of program construction : lecture notes in computer science :Proceedings
SN  - 0003540677275
U1  - 004.0151 
PB  - Springer: Tokyo
KW  - mathematics : computer science
ER  -