Maude’s module algebra (0)

by F Durán, J Meseguer
Venue:Science of Computer Programming