@phdthesis{dnb-8222,
  title = {Probabilistische Programme, Semantik und Anwendungen},
  author = {Christian Herzog},
  year = {1985},
  url = {http://d-nb.info/860869822},
  researchr = {https://researchr.org/publication/dnb-8222},
  cites = {0},
  citedby = {0},
  school = {Technical University Munich, Germany},
}