Types and Programming Languages
Benjamin C. Pierce
A Concise Introduction to Measure Theory
Satish Shirali
What Things Do: Philosophical Reflections on Technology, Agency, ...
Peter-Paul Verbeek
America: What Went Wrong?: The Crisis Deepens
Donald L. Barlett & James B. Steele
Bernard Williams
Mark P. Jenkins
Software Architecture in Practice
Len Bass & Paul Clements & Rick Kazman
SEI Series in Software Engineering (1)