Classical proofs and a theory of functional control (1997)

by C A Stewart