@inproceedings{Norrish_11,
    address          = {Nijmegen, The Netherlands},
    author           = {Norrish, Michael},
    booktitle        = {International Conference on Interactive Theorem Proving},
    doi              = {10.1007/978-3-642-22863-6_22},
    editor           = {{Marko van Eekeln, Herman Geuvers, Julien Schmaltz, Freek Wiedijk}},
    month            = aug,
    pages            = {297---311},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4837.pdf},
    publisher        = {Springer},
    slides           = {https://trustworthy.systems/publications/nicta_slides/4837.pdf},
    title            = {Mechanised Computability Theory},
    year             = {2011}
  }