R. E. Gilman A Mathematical Procedure for Machine Division. 10-12 1959 2 Commun. ACM 4 db/journals/cacm/cacm2.html#Gilman59