1 @article{UrbanCheneyBerghofer11,

     2   author = {C.~Urban and J.~Cheney and S.~Berghofer},

     3   title = {{M}echanizing the {M}etatheory of {LF}},

     4   journal = {ACM Transactions on Computational Logic},

     5   volume = {12},

     6   issue = {2},

     7   year = {2011},

     8   pages = {15:1--15:42}

     9 }

    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 

    40 @book{Boolos87,

    41   author    = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey},

    42   title     = {{C}omputability and {L}ogic (5th~ed.)},

    43   publisher = {Cambridge University Press},

    44   year      = {2007}

    45 }

    46 

    47 @inproceedings{WuZhangUrban11,

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

    49   title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions

    50                ({P}roof {P}earl)},

    51   booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},

    52   year      = {2011},

    53   pages     = {341--356},

    54   series    = {LNCS},

    55   volume    = {6898}

    56 }

    57 

    58 

    59 @Article{Post36,

    60   author =       {E.~Post},

    61   title =        {{F}inite {C}ombinatory {P}rocesses-{F}ormulation 1},

    62   journal =      {Journal of Symbolic Logic},

    63   year =         {1936},

    64   volume =       {1},

    65   number =       {3},

    66   pages =        {103--105}

    67 }

    68