Logic by Machine
Universe of Numbers
Universal Machine
The Control Revolution
Managers and Models
Engine at the Door