Foundations Of Component-Based Systems door Gary T. Leavens & Murali Sitaraman