Finite presentations of infinite structures: Automata and interpretations
scientific article; zbMATH DE number 2138497