C. Compositional Design and Verification of Component-Based Information Systems Jan Martijn van der Werf.
Compositional Design and Verification of Componen t- Based Information Systems