@book{83057,
	author = {Gasteren, A. J. M. van},
	title = {On the shape of mathematical arguments},
	publisher = {Springer-Verlag,},
	year = {1990},
	address = {Berlin :}
}