TY  - BOOK
AU  - Jeuring ,J (Ed)
TI  - Mathematics of program construction : lecture notes in computer science : Proceedings
SN  - 0003540645918
U1  - 005.1 
PB  - Springer: Tokyo
KW  - program construction
ER  -