Author: Italy) International Seminar on Problems and Methodologies in Mathematical Software Production (1980 : Sorrento