
@incollection{bhat13pdf,
  title      = {Deriving probability density functions from probabilistic functional programs},
  author     = {Bhat, Sooraj and Borgstr{\"o}m, Johannes and Gordon, Andrew D. and Russo, Claudio},
  booktitle  = {Tools and Algorithms for the Construction and Analysis of Systems},
  pages      = {508--522},
  year       = {2013},
  volume     = {7795},
  series     = {Lecture Notes in Computer Science},
  publisher  = {Springer},
  doi        = {10.1007/978-3-642-36742-7_35},
  isbn       = {978-3-642-36741-0}
}

@mastersthesis{eberl,
  title      = {A Verified Compiler for Probability Density Functions},
  author     = {Manuel Eberl},
  year       = {2014},
  school     = {Institut f{\"u}r Informatik, TU M{\"u}nchen},
  note       = {\url{http://home.in.tum.de/~eberlm/pdfcompiler.pdf}}
}
