On the shape of mathematical arguments - Gasteren, A. J. M. (Antonetta J. M.) van, 1952- (Lecture notes in computer science, 1990)