1. Pfeffer A. (2009) Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 137.
2. Charles River Analytics (2014) Figaro. Available at: https://www.cra.com/commercial-solutions/probabilistic-modeling-services.asp.
3. Quickcheck: A lightweight tool for random testing of Haskell programs;Claessen;Proceedings of the International Conference on Functional Programming,2011
4. CUFP 2011 Workshop Report