PROBLEMS AND METHODOLOGIES IN MATHEMATICAL SOFTWARE PRODUCTION - MESSINA,PAUL C (ED), MURLI,ALMERICO (ED) (SV BERLIN, 1982)