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

View PDF

Download Links

by José Meseguer
Citations:172 - 54 self