←
abstraction and machine - Bjarne Stroustrup