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