Parameterized Data Types in Algebraic Specification Languages (Short Version)

Writing Larch interface language specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)

Regular Article: Another look at parameterization for order-sorted algebraic specifications

Proceedings of the 30th IEEE symposium on Foundations of computer science

Algebraic specifications: some old history and new thoughts

Nordic Journal of Computing

MODLISP

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming

Complexity of implementations on the level of algebraic specifications

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

Data abstraction, data bases and conceptual modelling (Position Paper)

Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling

An algebraic specification of a Pascal compiler

ACM SIGPLAN Notices

MODLISP

ACM SIGSAM Bulletin

APE: an expert system for automatic programming from abstract specifications of data types and algorithms

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2

My ADT shrine

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques

Modelling of communication platforms using algebraic high-level nets and their processes

Software Service and Application Engineering