Foundations of Probabilistic Programming, Hardcover/Gilles Barthe