TY  - BOOK
AU  - Lecture Notes In Computer Science
TI  - Lecture notes in computer science; vol. 4708: Mathematical foundations of computer science 2007
SN  - 9783540744559
U1  - 001.64 
PY  - 2007///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer science
KW  - Mathematical foundations
UR  - http://link.springer.com/bookseries/558
ER  -