Nori, A., C.-K. Hur, S. Rajamani, and S. Samuel. “R2: An Efficient MCMC Sampler for Probabilistic Programs”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9060.