Maude: speci and programming in rewriting logic (1999)

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