The underlying formalism is the Maude language [http://maude.cs.uiuc.edu/](http://maude.cs.uiuc.edu/), which is based on Reflective Rewrite Logic.
There is a lot of documentation & literature on it. The main people behind it are Jose Meseguer & Manuel Clavel.