- Dilma suggested to use the following as related work to my thesis:

Building reliable, high-performance communication systems from components 
             Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason
             Hickey, Mark Hayden, Kenneth Birman, Robert Constable (Cornell
             University)


- Manuel mentioned that the Smalltalk Model-View-Controller uses dependency
reification to link the model to the views.

- Contracts (1990) (maybe OOPSLA)
