Valmari Antti: Asymptotic proportion of hard instances of the halting problem. In: Acta cybernetica, (21) 3. pp. 307-330. (2014)