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/PYSU:A/2011.45.1.028