Modal logic and process algebra a bisimulation perspective - Ponse, A.; Rijke, Maarten de; Venema, Yde, 1963-; Ponse, Alban; Venema, Yde (CSLI lecture notes, 1995)