John McCarthy
1927-2011
John McCarthy's Home Page
Obituary