Gerd Bohlender: Embedding universal computer arithmetic in higher programming languages. Computing 24(2-3): 149-160 (1980)