Problems and methodologies in mathematical software production : international seminar. Held at Sorrento, Italy, Nov. 3-8, 1980 - Cody, William J. (rz1, 1982)