Obligatory reference to Gödel, Escher and Bach.

(For the record, I do understand this article explores a different mathematical aspect of Escher than Hofstadter)