@Article{Langmaack97b,
  Author        = {Langmaack, Hans},
  Title         = {{Theoretische Informatik ist Grundlage f\"ur
                   das sichere Beherrschen realistischer Software 
                   und Systeme}},
  Editor        = {K. Brunnstein and H. Oberquelle},
  Journal       = {25 Jahre Informatik an der Universit\"at
                   Hamburg. Informatik: Stand, Trends, Visionen},
  HowPublished  = {Bericht SBI-HH-B-195/95, Universit\"at Hamburg},
  Pages         = {47-62},
  Year          = 1997,
}