A. J. H. Simons

• A different proposal for making Eiffel type-consistent
• A visual logic with extensions to set theory
• Mixins