Formal ADT Definition...

[Peter Froehlich <pfroehli@ics.uci.edu>]

Hi there!

I have done some work on a formal definition of the ADT Set but I can't
figure out many of the axioms that are needed. Is someone aware of a
published description of this ADT or would someone like to work on it with
me? Thanks for any input!

PS: I know, it is not something relating to the current "We need to have
that library now!" thing...

By(T)e...        /  Department of Information and Computer Science  \
        Peter... \ University of California - Irvine, CA 92697-3425 /