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