@entry{bou-gou-11-aa,
  author = {O Bouissou and {\'E} Goubault...},
  title = {A generalization of P-boxes to affine arithmetic, and applications to static analysis of programs},
  journal = {Proceedings of the ...,},
  year = 2011,
  url = {{\url{http://scan2010.ens-lyon.fr/SCAN2010_Bouissou_Goubault_Goubault-Larrecq_Putot.pdf}}},
  quotes = {Some inputs being known set theoretically (non-deterministic inputs) or in probability (probabilistic inputs) eg temperature distribution maybe known but we might only know a range for ...}
}