formal language-based programming (MAUDE)

I would like to find someone who masters formal language-based programming (MAUDE) .
I can help with sets of necessary documents in the field.