Caires, L, Seco JC.  2013.  The Type Discipline of Behavioral Separation. Proceedings of the 40th Symposium on Principles of Programming Languages (POPL).