TY - BOOK TI - Problems and Methodologies In Mathematical Software Production PY - 1982/// CY - Berlin, Heidelberg PB - Springer ER -