Duden "Wörterbuch der Abkürzungen" : über 36 000 Abkürzungen, und was sie bedeuten - Werlin, Josef (Duden-Taschenbücher, 1979)