@incollection{Moeller1990,
  author    = {Bernhard M{\"o}ller},
  title     = {A survey of the project CIP - computer-aided, intuition-guided programming},
  booktitle = {Sichere Software: formale Spezifikation und Verifikation vertrauensw{\"u}rdiger Systeme; Tagung der Zentralstelle f{\"u}r Sicherheit in der Informationstechnik Bonn, 27. - 28.11.1989},
  editor    = {Heinrich Kersten},
  isbn      = {3-7785-1983-2},
  year      = {1990},
}