The maude 2.0 system (2003)

by M Clavel, F Durán, S Eker, P Lincoln