Metalevel computation in Maude (1998)

by M Clavel, F Durán, S Eker, P Lincoln, N Marí-Oliet, J Meseguer
Venue:In 2nd Intl. Workshop on Rewriting Logic and its Applications (WRLA’98), volume 15 of Electronic Notes in Theoretical Computer Science