Declarative Specification of Software Architectures. - Penix, John; Alexander, Perry; Havelund, Klaus (1997)