Maude as a formal meta-tool (1999)

by M Clavel, F Duran, S Eker, J Meseguer, M-O Stehr
Venue:in FM’99—Formal Methods