Duden : Wörterbuch der Abkürzungen. Über 36 000 Abkürzungen, und was sie bedeuten. - Werlin, Josef (Bibliographisches Institut, 1979)