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