Wörterbuch der Abkürzungen über 36000 Abkürzungen und was sie bedeuten - Werlin, Josef 1936- (Bibliogr. Inst., 1979)