Werlin, Josef Duden Wörterbuch der Abkürzungen : über 38000 Abkürzungen und was sie bedeuten Wörterbuch der Abkürzungen - 3., neu bearb. u. erw. Aufl. - 300 S. - Duden-Taschenbücher ; 11 . ISBN: 341102741x