“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, pp. 19–28. Available at: https://periodicals.karazin.ua/mia/article/view/9184 (Accessed: 25 October 2026).