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.
