Informatics and the teaching of mathematics : proceedings of the IFIP TC 3/WG 3.1 Working Conference on Informatics and the Teaching of Mathematics : Sofia, Bulgaria, 16-18 May, 1987 - Johnson, D. C. (David Carlton), 1936-; Lovis, F. B. (Frank B.) (North-Holland, 1987)