Duden Wörterbuch der Abkürzungen : über 38.000 Abkürzungen und was sie bedeuten - Werlin, Josef 1936- (Duden-Taschenbücher, 1987)