@BOOK{Maude-book,
  author =       {Manuel Clavel and Francisco Dur\'an and Steven Eker and 
                  Patrick Lincoln and Narciso Mart\'{\i}-Oliet and 
                  Jos\'e Meseguer and Carolyn L. Talcott},
  title =        {All About Maude --- A High-Performance Logical Framework.
                  How to Specify, Program and Verify Systems in Rewriting Logic},
  year =         2007,
  volume =       4350,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer}
}