Membership algebra. Lecture and abstract at the Dagstuhl Seminar on "Specification and Semantics (1996)

by J Meseguer