Why "the social aspects of science and technology" is not just an optional extra. - Donald MacKenzie (SIGCAS Comput. Soc., 1986)

The Influence of the Los Alamos and Livermore National Laboratories on the Development of Supercomputing. - Donald MacKenzie (IEEE Ann. Hist. Comput., 1991)

The Social Negotiation of Proof: An Analysis and a further Prediction. - Donald MacKenzie (Formal Methods in Systems Engineering, 1993)

The social limits of speed: development and use of supercomputers. - Boelie Elzen; Donald MacKenzie (IEEE Ann. Hist. Comput., 1994)

Inhibiting factors, market structure and the industrial uptake of formal methods. - George Cleland; Donald MacKenzie (WIFT, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

The automation of proof: a historical and sociological exploration. - Donald MacKenzie (IEEE Ann. Hist. Comput., 1995)

Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military. - Donald MacKenzie; Garrel Pottinger (IEEE Ann. Hist. Comput., 1997)

A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability. - Donald MacKenzie (ICHC, 2000)