A Logic-Based Approach to the Formal Specification of Data Formats. - Michael Hartle; Max Mühlhäuser; Daniel Schumann; Arsene Botchak (iPRES, 2008)