Ulrich Huckenbeck Euclidian Geometry in Terms of Automata Theory. 71-87 1989 68 Theor. Comput. Sci. 1 db/journals/tcs/tcs68.html#Huckenbeck89