A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro (Springer-Verlag London Limited, 2010)