Mandrioli, Dino Theoretical foundations of computer science - John Wiley - 478 p. LCCN: 008701015645 Dewey Class. No.: 004.01