D. A. Clarke

Addison J. W.. Hierarchies and the axiom of constructibility. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 355–362.

D. A. Clarke, 1966 .

Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970 , Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254.

D. A. Clarke, 1974 .

Computation : finite and infinite machines

Marvin Minsky, D. A. Clarke, M. Minsky, 2016 .