Membership algebra, Lecture at the Dagstuhl Seminar on Specification and Semantics (1996)

by J Meseguer