Verzeichnis von in der DDR gebräuchlichen Abkürzungen (Inst, 1975)