@incollection{Moeller2019,
  author    = {Bernhard M{\"o}ller},
  title     = {Algebraic structures for program calculation},
  booktitle = {Calculational system design [proceedings of the NATO Advanced Study Institute on Calculational System Design, Marktoberdorf, Germany, 28 July - 9 August 1998]},
  editor    = {Manfred Broy and R. Steinbr{\"u}ggen},
  isbn      = {978-90-5199-459-9},
  year      = {2019},
}