Formal Aspects of Component Software - JosÃ© Luiz Fiadeiro, Zhiming Liu, Jinyun Xue; Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun (Springer International Publishing, 2014)