Finitism, imperative programs and primitive recursion
scientific article; zbMATH DE number 7471465