Program Specification In Computer Science