A Maude Tutorial (2000)

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