TY  - BOOK
AU  - Mandrioli, Dino
AU  - Ghezzi, Carlo
TI  - Theoretical foundations of computer science
U1  - 004.01 
CY  - 
PB  - John Wiley
ER  -