@unpublished{Maude-book,
author = {M.~Clavel and F.~Dur\'{a}n and S.~Eker and P.~Lincoln and N.~Mart\'{\i}-Oliet and J.~Meseguer and C.~Talcott},
note = {Springer},
title = {All About {Maude}: A High-Performance Logical Framework},
projects = {MERIT},
butype = {book},
year = {2007}
}