- "Modular verification of collaboration-based software designs", Kathi Fisler, Shriram Krishnamurthi http://portal.acm.org/citation.cfm?id=503231 - MultiJava: Multiple dispatch for Java from Gary Leavens et al. If you want to look at multiple dispatch from a slightly different angle. - A partial (I'm only a co-author) plug for my own work: it describes nicely the various implications of layer-based programming. "Scaling Step-Wise Refinement", Don Batory, Jack Sarvela, Axel Rauschmayer http://www.pst.ifi.lmu.de/~rauschma/publications.html#ahead2 Greetings, Axel -- Axel Rauschmayer http://rauschma.de axel@rauschma.de