@book{42207,
	author = {Fitch, John, and Thornton, William,},
	title = {John Fitch papers,}
}