Discrete-time process algebra by J.J. Vereijken