Fröschle, S. B., & Hildebrandt, T. T. (1999). On Plain and Hereditary History-Preserving Bisimulation. BRICS Report Series, 6(4). https://doi.org/10.7146/brics.v6i4.20061