On plain and hereditary history-preserving bisimulation Fröschle, Sibylle B. Hildebrandt, Thomas 1999 - TUHH Open Research