@incollection {1998274,
	title = {On the curious historical coincidence of algebra and double-entry bookkeeping},
	booktitle = {Foundations of the formal sciences VII : bringing together philosophy and sociology of science},
	series = {Studies in Logic},
	volume = {32},
	year = {2011},
	pages = {109{\textendash}130},
	publisher = {College Publications},
	isbn = {9781848900493},
	url = {http://www.collegepublications.co.uk/logic/?00021},
	author = {Heeffer, Albrecht},
	editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart}
}
@incollection {de2011looking,
	title = {Looking for busy beavers. A socio-philosophical study of a computer-assisted proof},
	booktitle = {Foundations of the Formal Sciences},
	year = {2011},
	pages = {61{\textendash}90},
	publisher = {College Publications},
	abstract = {<p><em>"Young man, in mathematics you don{\textquoteright}t understand things, you just get used to them"</em> John von Neumann</p>},
	author = {De Mol, Liesbeth},
	editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart}
}
