23   publisher = 	 {Springer Verlag},

    23   publisher = 	 {Springer Verlag},

    24   year = 	 {1997}

    24   year = 	 {1997}

    25 }

    25 }

    26 

    26 

    27 

    27 

    29   author    = {R.~L.~Constable and

    29   author    = {R.~L.~Constable and

    30                P.~B.~Jackson and

    30                P.~B.~Jackson and

    31                P.~Naumov and

    31                P.~Naumov and

    32                J.~C.~Uribe},

    32                J.~C.~Uribe},

    33   title     = {{C}onstructively {F}ormalizing {A}utomata {T}heory},

    33   title     = {{C}onstructively {F}ormalizing {A}utomata {T}heory},

    34   booktitle = {Proof, Language, and Interaction},

    34   booktitle = {Proof, Language, and Interaction},

    35   year      = {2000},

    35   year      = {2000},

    36   pages     = {213-238}

    37   pages     = {213-238}

    37 }

    38 }

    38 

    39 

    39 

    40 

    40 @techreport{Filliatre97,

    41 @techreport{Filliatre97,

    79 }

    80 }

    80 

    81 

    81 @inproceedings{BerghoferNipkow00,

    82 @inproceedings{BerghoferNipkow00,

    82   author={S.~Berghofer and T.~Nipkow},

    83   author={S.~Berghofer and T.~Nipkow},

    83   title={{E}xecuting {H}igher {O}rder {L}ogic},

    84   title={{E}xecuting {H}igher {O}rder {L}ogic},

    85   year=2002,

    86   year=2002,

    87   volume=2277,

    88   volume=2277,

    88   pages="24--40"

    89   pages="24--40"

    89 }

    90 }

    90 

    91 

    91 @book{HopcroftUllman69,

    92 @book{HopcroftUllman69,

   103   title     = {{F}ormalizing the {L}ogic-{A}utomaton {C}onnection},

   104   title     = {{F}ormalizing the {L}ogic-{A}utomaton {C}onnection},

   104   booktitle = {Proc.~of the 22nd International

   105   booktitle = {Proc.~of the 22nd International

   105                Conference on Theorem Proving in Higher Order Logics},

   106                Conference on Theorem Proving in Higher Order Logics},

   106   year      = {2009},

   107   year      = {2009},

   107   pages     = {147-163},

   108   pages     = {147-163},

   109   volume    = {5674}

   110   volume    = {5674}

   110 }

   111 }