@misc{340,
  author       = {{Korth, Philipp}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"}}},
  year         = {{2014}},
}