DocEdit - ein Editor zur syntaxgesteuerten Erstellung strukturierter Dokumente. - Alois Heinz; Karsten Meyer (GI Jahrestagung, 1987)