Formal Aspects of Component Software - Proença, José (Springer International Publishing, 2020)