Equational abstractions (2003)

by José Meseguer , Miguel Palomino , Narciso Martí-oliet
Venue:of LNCS
Citations:26 - 12 self