A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio (Springer London : Imprint: Springer, 2010)