@incollection{PepperMoeller1991,
  author    = {Peter Pepper and Bernhard M{\"o}ller},
  title     = {Programming with (finite) mappings},
  editor    = {Manfred Broy},
  isbn      = {978-3-642-76678-7},
  doi       = {10.1007/978-3-642-76677-0_28},
  year      = {1991},
}