Erwin Engeler Combinatory Differential Fields. 119-131 1990 72 Theor. Comput. Sci. 2&3 db/journals/tcs/tcs72.html#Engeler90 http://dx.doi.org/10.1016/0304-3975(90)90031-C