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

by José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer