ARAKELYAN, A. UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 45, n. 1 (224), p. 28–35, 16 Feb.2011.