Not sure if this counts but Types and Programming Languages (Pierce) is commonly referred to as "TAPL", pronounced "tapple".. like "apple" with a "t" in the beginning