Metareasoning: Thinking about Thinking
- Length: 352 pages
- Publication Date: 2011-03-18
Software Abstractions: Logic, Language, and Analysis
- Length: 376 pages
- Publication Date: 2012-02
Programmed Visions: Software and Memory
- Length: 256 pages
- Publication Date: 2011-04-29