But I must add: exceptions are his I am a Strange Loop (terrible, redundant, and maudlin), and his Fluid Analogies (uninteresting to anyone not trying to code up a Copycat).

So basically, in order: GEB, Le Ton beau de Marot, and Metamagical Themas.

EDIT: correct LTDBM spelling; I was going from memory, and clearly I didn't remember the right order & capitalization.