Gregory Abowd, Robert Allen, and David Garlan. Formalizing style
to understand descriptions of software architecture. ACM
Transactions on Software Engi neering and Methodology. To
appear. This is a drastically revised version of the SIGSOFT'93
paper, cited below.