“The Universal Counting Strategy of Halstead’s Primitives of Program Modules: Checking the Algorithm Accuracy and Automation the Algorithm”. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», vol. 33, May 2017, pp. 19-28, https://periodicals.karazin.ua/mia/article/view/9184.