@INPROCEEDINGS{Hartle2008c,
  author = {Hartle, Michael and Botchak, Arsene and Schumann, Daniel and M\"uhlh\"auser,
	Max},
  title = {{A} {L}ogic-based {A}pproach to the {F}ormal {D}escription of {D}ata
	{F}ormats},
  booktitle = {{P}roceedings of {T}he {F}ifth {I}nternational {C}onference on {P}reservation
	of {D}igital {O}bjects ({iPRES})},
  year = {2008},
  pages = {292--299},
  address = {London, United Kingdom},
  month = {September},
  organization = {The British Library},
  owner = {Hartle},
  timestamp = {2008.10.22}
}