Merge and termination in process algebra - Baeten, Josephus C. M.; Glabbeek, Rob van (1987)