Foundations of Probabilistic Programming PDF Download – Gilles Barthe, Joost Pieter Katoen, Alexandra Silva
