Membership algebra as a logical framework for equational specification (1997)

by J Meseguer
Venue:of Lecture Notes in Computer Science