Equational abstractions (2003)

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