Andreuzzi, F. (2021). BisPy: Bisimulation in Python (Version 0.2.3) [Computer software]. https://doi.org/10.21105/joss.03519