Valmari, A. (2014). Asymptotic proportion of hard instances of the halting problem. Acta Cybernetica, 21(3), 307-330. https://doi.org/10.14232/actacyb.21.3.2014.3