3 works on record
Self-validating numerics for function space problems
Computerarithmetic
Höhere Programmiersprachen ALGOL, FORTRAN, PASCAL in einheitlicher und übersichtlicher Darstellung