Branching bisimulation for context-free processes - Caucal, Didier; Huynh, Dung; Tian, Lu (1992)