Validating Halstead's Theory for PASCAL Programs - Felician, L (IEEE Transactions on Software Engineering)