Membership Equational Logic as a Logical Framework for Equational Specification (1998)

by J Meseguer
Venue:Proc. 12 th WADT Workshop on Algebraic Development Techniques, Springer LNCS