Arakelyan, A. UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2011, 45, 28-35.