@book{Browder:1976,
	key = "Browder 1976",
	title = "Mathematical Developments Arising from {Hilbert} Problems",
	editor = "F. E. Browder",
	series = "Symposium in pure mathematics",
	volume = 28,
	publisher = AMS,
	year = 1976}

@article{Hilbert:1902,
	key = "Hilbert 1902",
	author = "D. Hilbert",
	title = "Mathematical problems",
	journal = BAMS,
	volume = 8,
	year = 1902,
	pages = "437-479"}

@article{Hilbert:1900,
	key = "Hilbert 1900",
	author = "D. Hilbert",
	title = "Mathematische {Probleme}",
	journal = GN,
	year = 1900,
	pages = "253-297",
	note = "Reprinted in {\it Gesammelte Abhandlungen,}
		Vol.~III, pp.~290--329"
	}

@article{Jones&Matiyasevich:1991,
	key = "J. Jones and Matiyasevich 1991",
	author = "J. P. Jones and Y. V. {Matijasevi\v c}",
	title = "Proof of recursive unsolvability of {Hilbert's} tenth problem",
	journal = AMM,
	volume = 98,
	year = 1991,
	pages = "689-709"}