An Introduction to Maude (Beta Version (1998)

by M Clavel, F Durn, S Eker, P Lincoln, J Meseguer