Brian Cantwell Smith Varieties of Self-Reference. 19-43 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#Smith86