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