- Artificial Intelligence I (W. Jones)
- Computer Organization
- Computer Structure Lecture Notes (J.M. Rabaey/K. Keutzer, Berkeley U.)
- Computer Structures
- Computer Structures: Principles and Examples ?1981 (Daniel P. Siewiorek, C. Gordon Bell, Allen Newell)
- Computer Structures: Readings and Examples ?1971 (C. Gordon Bell and Allen Newell)
- Introduction to Machine Learning (Nils J. Nilsson)
- Programming in Martin-L?f Type Theory: An Introduction (by Bengt Nordstr?m, Kent Petersson, Jan M. Smith)

