Duden "Wörterbuch der Abkürzungen" über 36 000 Abkürzungen, und was sie bedeuten - Werlin, Josef (Mannheim [u.a.] : Dudenverl., 1979)