Т. А. Ащаулова and В. О. Мищенко, “The universal counting strategy of Halstead’s primitives of program modules: checking the algorithm accuracy and automation the algorithm”, МІА, vol. 33, pp. 19-28, May 2017.