In the past year I learnt about the usefulness of (and sometimes need for) domain specific languages. I am wondering if you have recommendations for books about creating a DSL? I saw Martin Fowler's book online, but perhaps there are also other good ones?

I program mostly in C++, and I am interested in DSLs partly for formal verification.