Error-Free computation : why it is needed and methods for doing it - Gregory, Robert Todd (R. Krieger, 1980)