Lionello Lombardi Mathematical Structure of Nonarithmetic Data Processing Procedures. 136-159 1962 9 J. ACM 1 http://doi.acm.org/10.1145/321105.321118 db/journals/jacm/jacm9.html#Lombardi62