H.: TRX: A formally verified parser interpreter (2011)

by A Koprowski, Binsztok
Venue:Logical Methods in Computer Science 7(2