David Guaspari Sentences Implying Their Own Provability. 777-789 1983 48 J. Symb. Log. 3 db/journals/jsyml/jsyml48.html#Guaspari83