Carlos José Pereira de Lucena Paulo S. C. Alencar A Formal Description of Evolving Software Systems Architectures. 41-61 1995 24 Sci. Comput. Program. 1 db/journals/scp/scp24.html#LucenaA95