Formal Aspects of Component Software - Lanese; Madelaine, Eric (Springer International Publishing, 2015)