Ferenc Gécseg Universal Algebras and Tree Automata. 98-112 1977 FCT db/conf/fct/fct77.html#Gecseg77