TRX: A formally verified parser interpreter (0)

by A Koprowski, H Binsztok
Venue:Logical Methods in Computer Science