Arakelyan, A.H. “UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 45, no. 1 (224), Feb. 2011, pp. 28-35, doi:10.46991/PYSU:A/2011.45.1.028.