Models and logics for process algebra by M. van der Zwaag