Jurdzinski, Marcin, og Mogens Nielsen. “Hereditary History Preserving Simulation Is Undecidable”. BRICS Report Series, bd. 6, nr. 1, januar 1999, doi:10.7146/brics.v6i1.19501.