All about maude - A high-Performance logical framework [electronic resource] - Clavel, Manuel (Berlin Heidelberg, 2007)
http://dx.doi.org/10.1007/978-3-540-71999-1