Problems and methodologies in mathematical software production - Conference on problems and methodologies in mathematical software production (Italy,1980); Messina, P. C., ed.; Murli, A., ed. (Berlin Springer-Verlag, 1982)