Abstraction in Computer Science