M. Jurdzinski and M. Nielsen, “Hereditary History Preserving Bisimilarity is Undecidable”, BRICS, vol. 6, no. 19, Jan. 1999.