On The Shape of Mathematical Arguments, volume 445 of Lecture Notes in Computer Science, chapter 14, pages 90-- 120 (1990)

by Antonetta J M van Gasteren
Venue:Turku Centre for Computer Science Lemmink aisenkatu 14 FIN-20520 Turku Finland http://www.tucs.abo.fi University of Turku ffl Department of Mathematical Sciences Abo Akademi University ffl Department of Computer Science ffl Institute for