@preamble("
  \newcommand{\doi}[1]{%\newline
    \href{http://dx.doi.org/#1}{\nolinkurl{doi:#1}}}")

@article{Sternagel2012,
  author={Christian Sternagel},
  title={Proof Pearl - A Mechanized Proof of {GHC}'s Mergesort},
  journal={Journal of Automated Reasoning},
  year=2012,
  note={\doi{10.1007/s10817-012-9260-7}},
}
