A. Arakelyan, “UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 45, no. 1 (224), pp. 28–35, Feb. 2011.