Book

Theoretical foundations of computer science

by Dino Mandrioli