@misc{3320,
  author       = {{Rautenberg, Kai}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Korrektheitsbeweise für Muster von Servicekompositionen}}},
  year         = {{2018}},
}