abstraction principle (programming)