M. Jurdzinski og M. Nielsen, “Hereditary History Preserving Bisimilarity is Undecidable”, BRICS, bd. 6, nr. 19, jan. 1999.