A theory of modularity for automated software development (keynote)
Classes and mixins