@book{43612,
	author = {Hartendorp, A. V. H. and Hartendorp, A. V. H.},
	title = {A.V.H. Hartendorp papers,}
}