There is a vast amount of literature on the algebraic
specification of abstract data types.
You may consult, for example,
(C) Æliens 04/09/2009You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.