Eds.: Foundations of Component-Based Systems (2000)

by G T Leavens, M Sitaraman