Computable stack functions for semantics of stack programs
algebraic characterization of computable functions
scientific article; zbMATH DE number 3667978