Aldini A. A process algebraic approach to software architecture design / A. Aldini, M. Bernardo, F. Corradini, 2010 r=on-line. - Текст : электронный.