Maude: specification and programming in rewriting logic. (2002)

by M Clavel, F Duran, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, J Quesada
Venue:Theoretical Computer Science,