Toufik Taibi Formal specification of design patterns' relationships. 310-315 2006 conf/acst/2006 ACST db/conf/acst/acst2006.html#Taibi06