Problems and Methodologies in Mathematical Software Production - Messina, P. C. (Lecture Notes in Computer Science Ser.)