Fröschle, S. B., and T. T. Hildebrandt. “On Plain and Hereditary History-Preserving Bisimulation”. BRICS Report Series, vol. 6, no. 4, Jan. 1999, doi:10.7146/brics.v6i4.20061.