Data Types

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

Journal of the ACM (JACM)

Data Type Specification: Parameterization and the Power of Specification Techniques

ACM Transactions on Programming Languages and Systems (TOPLAS)

Data type specification: Parameterization and the power of specification techniques

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing

Complexity of implementations on the level of algebraic specifications

STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing

Aspects of the ALGOL 68 mode structure

ACM SIGPLAN Notices

Rapid prototyping: in the OBJ executable specification language

Proceedings of the workshop on Rapid prototyping

Algebraic implementation of abstract data types: an announcement

ACM SIGACT News