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