@book{7533,
	author = {Mandrioli, Dino and Ghezzi, Carlo},
	title = {Theoretical foundations of computer science},
	publisher = {John Wiley}
}