The algebraic specification of abstract data types

Authors:

Abstract
No abstract available