Comment by kennethtilton

Thanks, your query led to my belated discovery of http://cs.stanford.edu/jmc

And this: http://library.stanford.edu/collections/john-mccarthy-papers...

Agreed, tho, the links should be salvaged.