Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective,

Denis Besnard, Cristina Gacek and Cliff B. Jones, (editors)

Trust in Technology: A Socio-Technical Perspective

Karen Clarke, Gillian Hardstone, Mark Rouncefield and Ian Sommerville (Editors)

An Engine, Not a Camera: How Financial Models Shape Markets

Donald MacKenzie

Seeing Reason: Image and Language in Learning to Think

Keith Stenning

Inside the Virtual Product: How Organizations Create Knowledge through Software

Luciana D'Adderio

Mechanizing Proof: Computing, Risk, and Trust

Donald MacKenzie