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