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