On the Validation of Computer Science Theories | Digital Library | PAMCET | PAMCET