Control encapsulation: A calculus for exogenous composition (2009)

by K-K Lau, M Ornaghi
Venue:In Proc. 12th CBSE, LNCS 5582