John Herbert Bruno Dutertre Robert A. Riemenschneider Victoria Stavridou A Formalization of Software Architecture. 116-133 1999 conf/fm/1999-1 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1708/17080116.htm db/conf/fm/fm1999-1.html#HerbertDRS99