Maude as a formal meta-tool (1999)

by M Clavel, F Durán, S Eker, J Meseguer, M-O Stehr
Venue:FM’99 — Formal Methods, volume 1709 of Springer LNCS