@book{42173,
	author = {Covode, John,},
	title = {John Covode papers,}
}