The Elements of Computing Systems: Building a Modern Computer from First Principles (The MIT Press)

by Noam Nisan

In computer science, we take the notion of abstraction very concretely, defining it to be a statement of “what the entity does” and ignoring the details of “how it does it.”