Maude: specification and programming in rewriting logic., Theor (0)

by M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, J F Quesada
Venue:Comput. Sci