Functions with local state: regularity and undecidability
scientific article; zbMATH DE number 2184043