@inproceedings{DBLP:conf/seke/ArandaM02,
author = {Gabriela N. Aranda and
Richard Moore},
title = {A formal model for verifying compound design patterns},
booktitle = {SEKE},
year = {2002},
pages = {213-214},
ee = {http://doi.acm.org/10.1145/568760.568797},
bibsource = {DBLP, http://dblp.uni-trier.de}
}