Pātuhitia tēnei: Validating Halstead's Theory for PASCAL Programs