Context-free languages via coalgebraic trace semantics (2005)

by Ichiro Hasuo, Bart Jacobs
Venue:International Conference on Algebra and Coalgebra in Computer Science (CALCO’05), volume 3629 of Lect. Notes Comp. Sci