S. B. Fröschle and T. T. Hildebrandt, “On Plain and Hereditary History-Preserving Bisimulation”, BRICS, vol. 6, no. 4, Jan. 1999.