Lectures on finite precision computations - Chaitin-Chatelin, Francoise, author (Society for Industrial and Applied Mathematics, 1996)