@inbook{Babylon,
  author    = {Thomas Heath},
  title     = {A History of Greek Mathematics},
  year      = {1921},
  volume    = 2,
  pages     = {323-326},
  publisher = {Clarendon Press}
}

@inproceedings{CeTA,
  author    = {R.~Thiemann and C.~Sternagel},
  title     = {Certification of Termination Proofs using \ceta},
  booktitle = {Proc.\ TPHOLs'09},
  series    = {LNCS},
  volume    = {5674},
  year      = 2009,
  pages     = {452--468}
}
