Principles of Maude (2000)

by M Clavel, S Eker, P Lincoln, J Meseguer
Venue:Electronic Notes in Theoretical Computer Science