Computer Arithmetic and Validity Ulrich Kulisch E-Book (pdf)

Computer Arithmetic in Theory and Practice Ulrich W. Kulisch, Willard L. Miranker E-Book (pdf)

PASCAL-XSC Rudi Klatte, Ulrich Kulisch, Michael Neaga E-Book (pdf)