The Universal Counting Strategy of Halstead’s Primitives of Program Modules: Checking the Algorithm Accuracy and Automation the Algorithm. МІА 2017, 33, 19-28.