Vincenzo Ambriola Paolo Ciancarini Andrea Corradini Declarative Specification of the Architecture of a Software Development Environment. 143-174 1995 25 Softw., Pract. Exper. 2 db/journals/spe/spe25.html#AmbriolaCC95