Abstraction In Computer Science