Equational abstractions (2008)

by J Meseguer, M Palomino, N Martí-Oliet
Venue:Theoretical Computer Science