Modelling Computing Systems - Moller, Faron; Struth, Georg (Springer, 2013)
Mathematics for Computer Science