| title | ISBN-13 | year of publication |
|---|---|---|
| Computable analysis | 978-0-07-000079-7 | 1980 |
| Computable Calculus | 978-0-12-041752-0 | 2001 |
| Introduction to Precise Numerical Methods | 978-0-12-373859-2 | 2007 |
| Introduction to Precise Numerical Methods CD ROM, Second Edition | 978-0-12-373863-9 | 2007 |
| Precise Numerical Analysis/Book and Disc, IBM PC | 978-0-697-06760-9 | 1988 |
| Precise Numerical Methods Using C++ | 978-0-12-041750-6 | 1998 |