Principles of Maude (1996)

by S E M Clavel, P Lincoln, J Meseguer
Venue:Proc. of RWLW'96, volume 4 of ENTCS