Authored Book:
COMPUTERS AND COGNITION: Why
Minds are Not Machines. Dordrecht, The Netherlands: Kluwer Academic
Publishers, 2001. (Studies in Cognitive Systems, Vol. 25) xix + 323
pp.
Co-Edited Book:
PROGRAM VERIFICATION. Fundamental
Issues in Computer Science (co-edited with Timothy Colburn and Terry
L. Rankin). Dordrecht/Boston/London: Kluwer Academic Publishers, 1993.
(Studies in Cognitive Systems, Vol. 14) xiii + 457 pp.
Articles and Reviews:
"Program Verification: The Very
Idea", Communications of the ACM (September 1988), pp. 1048-1063.
Reprinted in T. Colburn, J.
Fetzer, and T. Rankin, eds., Program Verification (Dordrecht, The
Netherlands: Kluwer Academic Publishers, 1993), pp. 321-358.
Reprinted in J. Fetzer, Computers
and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands:
Kluwer Academic Publishers, 2000), pp. 183-220.
"ACM Forum: Response from the
Author", Communications of the ACM (March 1989), pp. 288-289.
"Technical Correspondence: The
Author's Response", Communications of the ACM (March 1989), pp. 377-381.
"Technical Correspondence: The
Author's Response", Communications of the ACM (April 1989), pp. 510-512.
"ACM Forum: Patents and Programs",
Communications of the ACM (June 1989), pp. 675-676.
"ACM Forum: Another Point of
View", Communications of the ACM (August 1989), pp. 920-921.
"Mathematical Proofs of Computer
System Correctness: A Response", Notices of the AMS (December 1989),
pp. 1353-1354.
"The Final Word on Program Verification",
Notices of the AMS (May/June 1990), pp. 562-563.
"Philosophical Aspects of Program
Verification", Minds and Machines (May 1991), pp. 197-216.
Reprinted in T. Colburn, J.
Fetzer, and T. Rankin, eds., Program Verification (Dordrecht, The
Netherlands: Kluwer Academic Publishers, 1993), pp. 403-427.
Reprinted under the title,
"Program Verification", in A. Kent and J. Williams, eds., Encyclopedia
of Computer Science and Technology, Vol. 28 (New York, NY: Marcel
Dekker, 1993), pp. 237-254.
Reprinted under the title,
"Program Verification", in A. Kent and J.Williams, eds., Encyclopedia
of Microprocessors, Vol. 14 (New York, NY: Marcel Dekker, 1994), pp.
47-64.
Reprinted in J. Fetzer, Computers
and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands:
Kluwer Academic Publishers, 2001), pp. 221-245.
"Computer Reliability and Public
Policy: Limits of Knowledge of Computer-Based Systems", Social Philosophy
and Policy 13 (Summer 1996), pp. 229-266.
Reprinted in E. Paul, F. Miller,
and J. Paul, eds., Scientific Innovation, Philosophy, and Public Policy
(New York, NY: Cambridge University Press, 1996), pp. 229-266.
Reprinted in J. Fetzer, Computers
and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands:
Kluwer Academic Publishers, 2001), pp. 271-308.
"Computer Systems: The Uncertainty
of Their Reliability", Bridges 5 (1998), pp. 197-215.
"Philosophy and Computer Science:
Reflections on the Program Verification Debate", in T. Bynum and J.
H. Moor, eds., The Digital Phoenix: How Computers are Changing Philosophy
(Oxford, UK: Basil Blackwell, 1998), pp. 253-273.
Reprinted in J. Fetzer, Computers
and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands:
Kluwer Academic Publishers, 2001), pp. 247-267.
"The Alan Turing Home Page",
APA Newsletter on Philosophy and Computing 97 (1998), pp. 54-55.
"The Role of Models in Computer
Science", The Monist 82 (1999), pp. 20-36.
