The Elements of Computing Systems: building a modern computer from first principles
with Shimon Schocken, MIT Press, 2005.
Link to the Book
Algorithmic Game Theory
with Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani, editors, Cambridge University Press, 2007.
Link to the Book
Mathematical Logic Through Python
with Y. Gonczarowski, Forthcoming by Cambridge University Press.
A draft is available online