@incollection{MoellerPartschSchuman1993,
  author    = {Bernhard M{\"o}ller and Helmuth Partsch and Steve Schuman},
  title     = {Introduction},
  booktitle = {Formal program development: IFIP TC 2/WG 2 1 state of the art report},
  editor    = {Bernhard M{\"o}ller and Helmuth Partsch and Steve Schuman},
  isbn      = {978-3-540-57499-6},
  doi       = {10.1007/3-540-57499-9_14},
  year      = {1993},
}