Jing Dong;Paulo S. C. Alencar;Donald D. Cowan
-;-;-
An algebra of design patterns
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design