References

1. http://www.eden-study.org/publications.html
There's a lot of papers by A. H. Eden, including papers on LePUS.
2. http://portal.acm.org/citation.cfm?id=630808.631130
Papers on SCRUPLE by Santanu Paul
Other interesting papers can also be found on acm.org, but I have not read them yet.
3. http://citeseer.ist.psu.edu/bosch98design.html
Papers on LayOM by Jan Bosch.
4. http://portal.acm.org/citation.cfm?id=236337.236376
Papers on CDL by Klarlund et al
5. Generating programming language-based pattern matchers
http://portal.acm.org/citation.cfm?id=962310&coll=GUIDE&dl=GUIDE&CFID=34724246&CFTOKEN=35356788
pdf link:
http://delivery.acm.org/10.1145/970000/962310/p227-paul.pdf?key1=962310&key2=9378259811&coll=GUIDE&dl=GUIDE&CFID=34724246&CFTOKEN=35356788
Another SCRUPLE paper
6. Jason Smith's Dissertation
7. A pattern enforcing compiler (PEC) for Java
http://portal.acm.org/citation.cfm?id=1082285
pdf link: http://portal.acm.org/ft_gateway.cfm?id=1082285&type=pdf&coll=GUIDE&dl=GUIDE&CFID=34729291&CFTOKEN=76839131
8. Declarative Reflection and its Application as a Pattern Language A. Herranz, J.J. Moreno and N. Maya
School of Computer Science, Technical University of Madrid, Campus de Montegancedo s/n, Boadilla del Monte 28660, Spain
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4DDWJY1-DB&_user=130907&_coverDate=11%2F30%2F2002&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000004198&_version=1&_urlVersion=0&_userid=130907&md5=487dfec9ad5742c9df2e1a578725ee60
9. Abadi, M., and Cardelli, L., "A Theory of Objects", Monographs in Computer Science, Springer-Verlag, New York, 1996.
reference for sigma calculus
10. Tool Support for Object-Oriented Patterns
http://citeseer.ist.psu.edu/florijn97tool.html
pdf link: http://citeseer.ist.psu.edu/rd/84813278%2C26353%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/cache/papers/cs/6594/http:zSzzSzwww.serc.nlzSzpeoplezSzflorijnzSzpersonalzSz..zSzpaperszSzpattern-tool-overview.pdf/florijn97tool.pdf

SPDL, Structural Pattern Definition Language

SPDL grammar file written in ANTLR.
An example of pattern definition written in SPDL.