Advances in Data Base Theory Journal

publication venue for

• Equations Compared with Clauses for Specification of Abstract Data Types 1981