Maude: Speci and programming in rewriting logic. Theoretical Computer Science (2001)

by M Clavel, F Duran, S Eker, P Lincoln, N Mart-Oliet, J Meseguer, J F Quesada