Process Algebra with Timing e-bokEngelska, 2013