J. McCarthy. IRE-AIEE-ACM '61 (Western): Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, page 225-238. New York, NY, USA, ACM, (1961)
K. Watkins, I. Cervesato, F. Pfenning, and D. Walker. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, page 355-377. Springer, (2004)
T. Griffin. POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 47-58. New York, NY, USA, ACM, (1990)