A programmer’s reduction semantics for classes and mixins (1999)

by Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
Venue:In Formal Syntax and Semantics of Java