Valmari, Antti. 2014. “Asymptotic Proportion of Hard Instances of the Halting Problem”. Acta Cybernetica 21 (3), 307-30. https://doi.org/10.14232/actacyb.21.3.2014.3.