Modelling Computing Systems: Mathematics for Computer Science By: Faron Moller, Georg Struth Read more