A. Valmari, “Asymptotic proportion of hard instances of the halting problem”, Acta Cybern, vol. 21, no. 3, pp. 307-330, Jan. 2014.