Modelling Computing Systems: Mathematics for Computer Science
Faron Moller & Georg Struth
Undergraduate Texts in Computer Science (0.0)