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