Arakelyan, A.H. “UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45, no. 1 (224) (February 16, 2011): 28–35. Accessed September 20, 2024. https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp028-035.