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 July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp028-035.