Stav dette: Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 / edited by P.C. Messina and A. Murli.