Elementary formal systems, intrinsic complexity, and procrastination
scientific article; zbMATH DE number 987862