A process algebraic approach to software architecture design - Aldini, Alessandro (Springer, 2010)