Formal Aspects of Component Software - Proença; Lumpe, Markus (Springer International Publishing, 2017)