Stephen Cook

Logical Foundations of Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

The reusable launch vehicle technology program

Stephen Cook, 1995 .

Corrections for "On the lengths of proofs in the propositional calculus preliminary version"

Stephen Cook, Robert Reckhow, S. Cook, 1974, SIGA.