Problems and Methodologies In Mathematical Software Production 

 - Berlin, Heidelberg  Springer  1982