Foundations of component-based systems - Leavens, Gary T. (Cambridge University Press, 2000)