1. Aggarwal, S.K., Kumar, M.S.: Debuggers for programming languages. In: The Compiler Design Handbook, pp. 297–329. CRC Press (2002)
2. Corporation, M.: Mozilla RR debugger (2020). https://rr-project.org
3. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Hoboken (1976)
4. Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Future of Software Engineering, pp. 167–181. ACM (2014)
5. Hoppen, A.: Design and implementation of an interactive exploration tool for probabilistic programs. Master’s thesis, RWTH Aachen University, Germany (2020). https://publications.rwth-aachen.de/record/802809