I also really enjoyed the course. The book behind this course is called "The Elements of Computing Systems". I've been recommending it to lots of people.