A Maude Tutorial (2000)

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