Carlos Gómez-Rodríguez Miguel A. Alonso Manuel Vilares Ferro Generation of Indexes for Compiling Efficient Parsers from Formal Specifications. 257-264 2007 conf/eurocast/2007 EUROCAST http://dx.doi.org/10.1007/978-3-540-75867-9_33 db/conf/eurocast/eurocast2007.html#Gomez-RodriguezAF07