@InProceedings{Norrish2011:ComputabiltyTheory,
  author =       {Michael Norrish},
  title =        {Mechanised Computability Theory},
  booktitle = {Interactive Theorem-Proving, Second International Conference, ITP~2011},
  pages =     {297--311},
  year =      2011,
  editor =    {Marko Van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk},
  volume =    6898,
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer}}