Principles of Maude (1996)

by M Clavel, S Eker, P Lincoln, J Meseguer
Venue:Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California