JURDZINSKI, M.; NIELSEN, M. Hereditary History Preserving Bisimilarity is Undecidable. BRICS Report Series, v. 6, n. 19, 19 Jan. 1999.