A Formal Approach to the Study of the Evolution and Commonality of Patterns. (February 2013)