Martin Erwig, Eric Walkingshaw. A DSL for Explaining Probabilistic Reasoning. In Walid Mohamed Taha, editor, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings. Volume 5658 of Lecture Notes in Computer Science, pages 335-359, Springer, 2009. [doi]