Decidability of bisimulation equivalence for processes generating context-free languages - Baeten, Josephus C. M.; Bergstra, Jan A. 1951-; Klop, Jan Willem 1945- (1986)