@inproceedings{rbt,
  author    = {Peter Lammich and
               Andreas Lochbihler},
  title     = {The {I}sabelle Collections Framework},
  booktitle = {Proc.\ ITP'10},
  series    = {LNCS},
  volume    = {6172},
  year      = {2010},
  pages     = {339--354}
}

@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}
}

@inproceedings{containers,
  author    = {Andreas Lochbihler},
  title     = {Light-Weight Containers for Isabelle: Efficient, Extensible,
               Nestable},
  booktitle = {Proc.\ ITP'13},
  year      = {2013},
  pages     = {116-132},
  series    = {LNCS},
  volume    = {7998}
}

