Duden : Wörterbuch der Abkürzungen : Über 3800 Abkürzungen u. was sie bedeutenWerlin, Josef1987300 с.