(D-R) · Daniel Ratz · David K. Ratz · Dietmar Ratz
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-Xsc Programs | 978-0-387-57118-8 (0-387-57118-3) | 1993 | R. Hammer · M. Hocks · U. Kulisch |
| Pascal-Xsc: Language Reference With Examples | 978-0-387-55137-1 (0-387-55137-9) | 1992 | R. Klatte · U. Kulisch · M. Neaga · Ch Ullrich |