A Process Algebraic Approach to Software Architecture Design door Marco Bernardo, Alessandro Aldini & Flavio Corradini