TY  - BOOK
AU  - Chytil, M.P
TI  - Mathematical foundations of computer science
CY  - Berlin
ER  -