1977, "On deciding the provability of certain fixed point statements," "Journal of Symbolic Logic 42": 191-193.