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