1979, "Reflection principles and iterated consistency assertions," "Journal of Symbolic Logic 44": 33-35.