Verifiable Composition of Deterministic Grammars.

August Schwerdfeger and Eric Van Wyk,

Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), pp. 199-210, ACM Press, 2009.

PDF