The Elements of Computing Systems: Building a Modern Computer from First Principles. Noam Nisan y Shimon Schocken.