Maude’s module algebra (2007)

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