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