Subrecursive programming systems | lit.salon