@phdthesis{Olmedo:2014:PhD,
  author    = {Federico Olmedo},
  title     = {Approximate relational reasoning for probabilistic programs},
  year      = {2014},
  school    = {Technical University of Madrid} 
}