Augmented loop languages and classes of computable functions
scientific article; zbMATH DE number 3488616
scientific article