TY  - BOOK
AU  - Kozen,Dexter
TI  - LECTURE NOTES IN COMPUTER SCIENCE; V. 3125: MATHEMATICS OF PROGRAM CONSTRUCTION
SN  - 3540223800
U1  - 001.64 
PY  - 2004///
CY  - 
PB  - Springer-Verlag,Berlin
KW  - Computer Programming -- Congresses
KW  - Computer Science -- Mathematics -- Congresses
UR  - http://link.springer.com/bookseries/558
ER  -