A Sound Abstraction of the Parsing Problem. - Sebastian Mödersheim; Georgios Katsoris (CSF, 2014)