Jurdzinski, Marcin, and Mogens Nielsen. 1999. “Hereditary History Preserving Simulation Is Undecidable”. BRICS Report Series 6 (1). https://doi.org/10.7146/brics.v6i1.19501.