PhD thesis references

gistfile1.txt

% This file was created with JabRef 2.7b.
% Encoding: UTF-8

@ARTICLE{Church1940,
  author = {Church A.},
  title = {A Formulation of the Simple Theory of Types},
  journal = {Journal of Symbolic Logic},
  year = {1940},
  volume = {5},
  owner = {alex},
  timestamp = {2013.07.03}
}

@ARTICLE{BarrosJ.C.1983,
  author = {Barros J.C., Johnson B.W.},
  title = {Equivalence of the Arbiter, the Synchronizer, the Latch and the Inertial
	Delay},
  journal = {IEEE Transactions on Computers},
  year = {1983},
  volume = {7},
  pages = {32},
  owner = {alex},
  timestamp = {2013.07.03}
}

@BOOK{CoqArtt2004,
  title = {Interactive Theorem Proving and Program Development. Coq’Art: The
	Calculus of Inductive Constructions.},
  publisher = {Texts in Theoretical Computer Science. An EATCS series. Springer
	Verlag},
  year = {2004},
  author = {Y. Bertot and P. Castéran.},
  owner = {alex},
  timestamp = {2013.07.03}
}

@ARTICLE{Hoare1981,
  author = {Hoare C.A.R.},
  title = {A Calculus of Total Correctness for Communicating Processes},
  journal = {Science of Computer Programming},
  year = {1981},
  volume = {1},
  owner = {alex},
  timestamp = {2013.07.03}
}

@ARTICLE{BarrowH.1984,
  author = {Barrow H.},
  title = {Proving the Correctness of Digital Hardware Design},
  journal = {VLSI Design},
  year = {1984},
  volume = {5},
  pages = {7},
  owner = {alex},
  timestamp = {2013.07.03}
}

@TECHREPORT{Gordon.1985,
  author = {Gordon M.J.C.},
  title = {Why Higher-Order Logic is a Good Formalism for Specifying and Vefifying
	Hardware},
  institution = {Computer Laboratory, University of Cambrige},
  year = {1985},
  owner = {alex},
  timestamp = {2013.07.03}
}

@ARTICLE{tapl-review,
  author = {Diomidis Spinellis},
  title = {Book Review: Types and Programming Languages},
  journal = {ACM Computing Reviews},
  year = {2003},
  volume = {4},
  pages = {193--194},
  owner = {alex},
  timestamp = {2013.07.03}
}

@BOOK{Hatcher.1982,
  title = {The Logical Foundations of Mathematics},
  publisher = {Pergamon Press},
  year = {1982},
  author = {Hatcher W.},
  owner = {alex},
  timestamp = {2013.07.03}
}

@TECHREPORT{Clocksin1985,
  author = {Clocksin W.F.},
  title = {Logic Programming and the Specification of Circuits},
  institution = {Computer Laboratory, University of Cambrige},
  year = {1985},
  owner = {alex},
  timestamp = {2013.07.03}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}