Duden Wörterbuch der Abkürzungen - Werlin, Josef (Dudenverlag, 1987)