Validating Halstead's theory with system 3 data | IEEE Journals & Magazine | IEEE Xplore