@book{40514,
	author = {Fitch, John,},
	title = {John Fitch papers,}
}