1. , , , , , , and , PASCAL-SC A PASCAL for contemporary scientific computation, Research Report RC 9009, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, U.S.A., 1981.
2. The Karlsruhe accurate arithmetic approach, in (ed), Improving Floating-Point Programming, Wiley, 1990, pp. 73–83.
3. (ed). Improving Floating-Point Programming, Wiley, 1990.
4. and (eds), Accurate Numerical Algorithms, Research Reports ESPRIT, Springer-Verlag, 1989.
5. Conversion of Fortran to Ada using an Intermediate Tree Representation