The Elements of Computing Systems: Building a Modern Computer from First Principles http://www.idc.ac.il/tecs/