@article{MoorePorter2002TOPLAS,
  title = "The Apprentice Challenge",
  author = "J Strother Moore and George Porter",
  journal = {ACM Trans. Program. Lang. Syst.},
  volume = 24,
  number = 3,
  month = {May},
  year = 2002,
  pages = "193--216",
  doi = {http://doi.acm.org/10.1145/514188.514189},
  publisher = {ACM},
}

@inproceedings{Lochbihler2008FOOL,
  author = {Andreas Lochbihler},
  title = {Type Safe Nondeterminism - A Formal Semantics of {Java} Threads},
  booktitle = {Proceedings of the 2008 International Workshop on Foundations of Object-Oriented Languages},
  year = {2008}
}

@inproceedings{Lochbihler2010ESOP,
  title = {Verifying a Compiler for {Java} Threads},
  booktitle = {Programming Languages and Systems (ESOP 2010)},
  year = {2010},
  publisher = {Springer},
  volume = {6012},
  pages = {427--447},
  author = {Andreas Lochbihler},
  editor = {Andrew D. Gordon},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-11957-6~23},
}

@inproceedings{LochbihlerBulwahn2011ITP,
  title = {Animating the Formalised Semantics of a {Java}-like Language},
  booktitle = {Interactive Theorem Proving (ITP 2011)},
  year = {2011},
  publisher = {Springer},
  volume = {6898},
  pages = {216--232},
  author = {Andreas Lochbihler and Lukas Bulwahn},
  editor = {Marko van Eekelen and Herman Geuvers and Julien Schmalz and Freek Wiedijk},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-22863-6~17},
}

@inproceedings{Lochbihler2012ESOP,
  author = {Andreas Lochbihler},
  title = {{Java} and the {Java} Memory Model -- a Unified, Machine-Checked Formalisation},
  booktitle = {Programming Languages and Systems},
  editor = {Helmut Seidl},
  year = {2012},
  volume = {7211},
  series = {Lecture Notes in Computer Science},
  pages = {493--513},
  publisher = {Springer},
}
