Equational Abstractions (2003)

by J Meseguer, M Palomino, N Mart-Oliet
Venue:In Proc. 19th CADE Conf., Miami Beach (Fl., USA), volume 2741 of LNCS