R. E. Jennings

• Simple Simon
• On preserving
• The genealogy of disjunction