Gregory Chaitin:
"A century of controversy over the
Foundations of Mathematics."

Tony Hoare:
"The Verifying Challenge."

Christos H. Papadimitriou:
"Game and Network."

Gordon Plotkin:
"Towards A Logic for Computational Effects."

Stephen Wolfram:
"A New Kind of Science."

Leslie G. Valiant:
"Quantum Computations that can be
simulated Classically in Polynomial Time."