abstraction and machine - Bjarne Stroustrup