Magnus Steinby Recognizable and Rational Subsets of Algebras. 249-266 1993 18 Fundam. Inform. db/journals/fuin/fuin18.html#Steinby93