3 works on record
A hierarchical technique for mechanical theorem proving and its application to programming language design
1976
What keeps us from freezing in the dark
1980
Speculative Edge, Issue 3, October 2012