@unpublished{Jansen:AC:2015,
  title={Probabilistic Programs---A Natural Model for Approximate Computations},
  author={Jansen, Nils and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Matheja, Christoph and Olmedo, Federico},
  howpublished = {Extended Abstracts of the Workshop on Approximate Computing ({AC} 2015)},
year={2015},
url={https://approximate.uni-paderborn.de/}
}