Jurdzinski, Marcin, and Mogens Nielsen. 1999. “Hereditary History Preserving Bisimilarity Is Undecidable”. BRICS Report Series 6 (19). https://doi.org/10.7146/brics.v6i19.20076.