I just got done reaing a very intesting article about domain specific languages:
His examples are in Boo, I would highly recommend at least looking through his code snippets, especially the one towards the end related to the “ensure” attribute.
Ayende Rahien on building DSLs for Boo