Duden Wörterbuch der Abkürzungen : rund 38 000 Abkürzungen und was sie bedeuten. - Werlin, Josef (Dudenverlag, 1987)