Problems and Methodologies in Mathematical Software Production 1980: Sorrento, Italy