Automatic error analysis in digital computation (1959)

by R E Moore
Venue:LMSD84821, Lockheed Missiles and Space Co