@book{40449,
	author = {Clarke, John,},
	title = {John Clarke papers,}
}