Another look at abstraction in process algebra - Baeten, Josephus C. M.; Glabbeek, Rob van (1987)