Ащаулова, Т.А. and Мищенко, В.О. 2017. 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». 33, (May 2017), 19-28.