Gabriela N. Aranda Richard Moore A formal model for verifying compound design patterns. 213-214 2002 SEKE http://doi.acm.org/10.1145/568760.568797 db/conf/seke/seke2002.html#ArandaM02