Correctness

Oops! the PC problem solver anybody can use

Mike Miller.

Artificial Unintelligence: How Computers Misunderstand the World

Meredith Broussard

Difficulties of novice computer programmers: the role of negative transfer

submitted by Marion Rebecca Simmons

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science)

Markus Müller-Olm

Accuracy and reliability in scientific computing

edited by Bo Einarsson.

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

by Bill Blunden

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

edited by Dennis Dams, Ulrich Hannemann, Martin Steffen

The automatic generation of syntax directed editors

Bruce J. MacLennan

Algebras for some input/output semantics

Andrzej Tarlecki.

Mathematical theory of program correctness

Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.