Webb Miller: Automatic a priori round-off analysis - Part I: Arithmetic Conditions. Computing 10(1-2): 97-106 (1972)