The category-theoretic solution of recursive program schemes
scientific article; zbMATH DE number 5083518
scientific article