@incollection{Moeller1997,
  author    = {Bernhard M{\"o}ller},
  title     = {Modal and temporal operators on partial orders},
  booktitle = {Programming languages and fundamentals of programming},
  editor    = {Rudolf Berghammer},
  year      = {1997},
}