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