Duden. Wörterbuch der Abkürzungen. 35.000 Abkürzungen u. was sie bedeuten. - Werlin, Josef (Duden-Taschenbücher, 1971)