Error-Free Computation. Why Is Is Needed and Methods For Doing It - Gregory, Robert Todd (Robert Krieger, 1980)