E.R.: Verifiable composition of deterministic grammars (2009)

by A C Schwerdfeger, Van Wyk
Venue:SIGPLAN Not