Membership algebra as a semantic framework for equational specification (1998)

by J Meseguer
Venue:Proceedings WADT'97, volume 1376 of LNCS