Hartle, Michael : A Formal, Declarative Approach to Data Format Description. Technische Universität Darmstadt [Ph.D. Thesis], (2010)