The Elements Of Computing Systems by Noam Nisan & Shimon Schocken