Lectures on finite precision computations - Chatelin, Françoise; Frayssé, Valérie (SIAM, 1996)