Moller F. Modelling Computing Systems Mathematics for Computer Science / / by Faron Moller, Georg Struth. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-1-84800-322-4