The state operator in process algebra - Blanco, Javier Oscar (1996)
Eindhoven, Techn. Univ., Diss., 1996