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», v. 33, p. 19–28, 29 May2017.