@incollection{Moeller1991,
  author    = {Bernhard M{\"o}ller},
  title     = {Relations as a program development language},
  booktitle = {Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Construction Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991},
  editor    = {Bernhard M{\"o}ller},
  isbn      = {0-444-89184-6},
  year      = {1991},
}