Discrete-time process algebra - Vereijken, Jan Joris (Technická univerzita, 1997)