Sven De Labey Eric Steegmans A type system extension for middleware interactions. 37-42 2007 MAI http://doi.acm.org/10.1145/1238828.1238838 conf/eurosys/2007mai db/conf/eurosys/mai2007.html#LabeyS07