An abstract software specification technique based on structural recursion

Abstract data types and software validation

Communications of the ACM

Reasoning about recursively defined data structures

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Stepwise Specification and Implementation of Abstract Data Types

Proceedings of the Fifth Colloquium on Automata, Languages and Programming

Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs

Proceedings of the International Conference on Mathematical Studies of Information Processing