An Introduction to Probabilistic Programming
A New Approach to Probabilistic Programming Inference