Fröschle, S. B.; Hildebrandt, T. T. On Plain and Hereditary History-Preserving Bisimulation. BRICS 1999, 6.