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