Pedro Bezerra Costa. (2024). Automated Markov Chains [Computer software]. https://github.com/Pbezz/Bachelors-Thesis.git