Matthew Flatt Shriram Krishnamurthi Matthias Felleisen A Programmer's Reduction Semantics for Classes and Mixins. 241-269 http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm 1999 conf/java/1999formal Formal Syntax and Semantics of Java db/conf/java/formal99.html#FlattKF99