The state operator in real time process algebra - Baeten, Josephus C. M.; Bergstra, Jan A. 1951- (1991)