@book{42583,
	author = {Wright, John C.},
	title = {John C. Wright papers,}
}