Norman Rubin

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