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

Cached

Download Links

by José Meseguer
Citations:153 - 51 self