Celebration of John McCarthy's Accomplishments
talk at Stanford University 25 March 2012 by Whit Diffie
who mentions JMC contribution to LISP, Public Key Encryption,
Proof of Correctness of computer programs, as well as personal remarks
about the greater McCarthy family.
