Membership algebra. Lecture at the Dagstuhl Seminar on \Speci and Semantics (1996)

by Jose Meseguer