Refinement in branching time semantics - Glabbeek, Rob van (Centrum voor Wiskunde en Informatica, 1989)