10 

    11 @inproceedings{Norrish11,

    12   author    = {M.~Norrish},

    13   title     = {{M}echanised {C}omputability {T}heory},

    14   booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving (ITP)},

    15   year      = {2011},

    16   series    = {LNCS},

    17   volume    = {6898},

    18   pages     = {297--311}

    19 }

    20 

    21 @inproceedings{AspertiRicciotti12,

    22   author    = {A.~Asperti and W.~Ricciotti},

    23   title     = {{F}ormalizing {T}uring {M}achines},

    24   booktitle = {Proc.~of the 19th International Workshop on Logic, Language, 

    25                Information and Computation (WoLLIC)},

    26   year      = {2012},

    27   pages     = {1-25},

    28   series    = {LNCS},

    29   volume    = {7456}

    30 }

    31 

    32 

    33 @Unpublished{WuZhangUrban12,

    34   author = 	 {C.~Wu and X.~Zhang and C.~Urban},

    35   title = 	 {???},

    36   note = 	 {Submitted},

    37   year = 	 {2012}

    38 }

    39