1. The Jerusalem Bible, Reader's Edition, Titus, chapter 1 verse 12
2. Boyer RS, Moore JS. A mechanical proof of the unsolvability of the halting problem. J ACM. 1984;31(3):441–58.
3. Church A. the Calculi of Lambda Conversion. Princeton: Princeton University Press; 1941.
4. Cooper SB. Computability theory. London: Chapman & Hall; 2004.
5. Epimenides Paradox, Wikipedia, https://en.wikipedia.org/wiki/Epimenides_paradox