Modelling Computing Systems - Moller (Springer London, 2013)