Linear time, branching time and partial order in logics and models for concurrency - Roever, W. P. De; Ronzerbeg, G.; Bakker, J. W. de 1939- (Jacobus Willem) (Springer-Verlag, 1989)