@article{woods03,
author={{University City Schools}},
title={{Brittany Woods Middle School Annual Report}},
note="Available online at http://www.ucityschools.org/schools/brittany.htm",
year=2003}

@article{kremer,
author="U.S. Library of Congress",
title="Caring for America's Library: A Brief History of Preservation and Conservation at the Library of Congress",
year=2002,
note="Available online at http://www.loc.gov/preserv/history/keeper.html"}

@misc{JCF03,
  author="Jean-Christophe Filli{\^a}tre",
  title={{Ocaml Data Structures}},
  year=2003,
  note = "Available at \url{http://www.lri.fr/~filliatr/software.en.html}"
}

@misc{wikipedia-kepler,
  title="Kepler Conjecture",
  author="Wikipedia",
  note = "Available at \hfill\\\url{http://en.wikipedia.org/wiki/Kepler\_conjecture}"
}

@incollection{ lynch93forward,
    author = "Nancy A. Lynch and Frits W. Vaandrager",
    title = "Forward and backward simulations -- Part {I}: untimed systems.",
    booktitle = "135",
    month = "31",
    publisher = "Centrum voor Wiskunde en Informatica (CWI)",
    address = "ISSN 0169-118X",
    pages = "35",
    year = "1993",
    url = "citeseer.ist.psu.edu/lynch95forward.html" }

@article{Davis:1973,
	key = "M. Davis 1973",
	author = "M. Davis",
	title = "Hilbert's tenth problem is unsolvable",
	journal = {American Mathematical Monthly},
	volume = 80,
	year = 1973,
	pages = "233-269"}

@article{goed31,
	author={G\"odel, K.},
	title={{\"U}ber formal unentscheidbare {S}\"atze der {P}rincipia
	{M}athematica und verwandter {S}ysteme {I}},	
	journal={Monatshefte f\"ur {M}athematik und {P}hysik},
	volume={38},
	year={1931},
	pages={173--198},
	TUE={in heij67}
	}

@BOOK{MilnerCCS, 
        AUTHOR = {R. Milner}, 
        TITLE = {Communication and Concurrency}, 
        PUBLISHER = {Prentice-Hall},
        YEAR = {1989},
	SERIES = {International Series in Computer Science, C.A.R. Hoare, series editor}
}

@misc{lfmtp07,
  author = "Brigitte Pientka",
  title = {International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice {(LFMTP'07)}},
  url = "http://www.cs.mcgill.ca/\~{}bpientka/lfmtp07/",
  howpublished = "\url{http://www.cs.mcgill.ca/\~{}bpientka/lfmtp07/}"
}

@misc{wmm07,
  author = "Stephanie Weirich",
  title = {{Second Informal ACM SIGPLAN Workshop on Mechanizing Metatheory}},
  url = "http://www.cis.upenn.edu/\~{}sweirich/wmm/",
  howpublished = "\url{http://www.cis.upenn.edu/\~{}sweirich/wmm/}"
}
