Chetan R. Murthy: Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science 1991: 71-88