ISBN 978-0-13-458761-5. Zhiming Liu and He Jifeng, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific Publishing Company, Series on Component-Based Software Development, 2007.