The elements of computing systems : building a modern computer from first principles - Nisan (MIT Press, 2005)