@inproceedings{GomAloVilEurocast2007,
 author = {Carlos G\'{o}mez-Rodr\'{i}guez and Alonso, Miguel A. and Manuel Vilares},
 title = {Generation of indexes for compiling efficient parsers from formal specifications},
 editor = {Roberto Moreno-D\'{i}az and Franz Pichler and Alexis Quesada-Arencibia},
 booktitle = {Computer Aided Systems Theory, \emph{volume 4739 of} Lecture Notes in Computer Science},
 pages = {257--264},
 publisher = {Springer-Verlag},
 address = {Berlin-Heidelberg-New York},
 issn = {0302-9743},
 year = {2007},
}