Generation of Indexes for Compiling Efficient Parsers from Formal Specifications | Publicación