Fixed points and self-reference. Smullyan, Raymond M. (1984) International Journal of Mathematics and Mathematical Sciences