Algebraic specifications of computable and semicomputable data types

Module algebra

Journal of the ACM (JACM)

Equational specifications, complete term rewriting systems, and computable and semicomputable algebras

Journal of the ACM (JACM)

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)

Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Abstract computability and algebraic specification

ACM Transactions on Computational Logic (TOCL)

Specification of real-time and hybrid systems in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications

Towards an Algebraic Specification of the Java Virtual Machine

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

On algebraic and logical specifications of classes of regular languages

Theoretical Computer Science - Australasian computer science

Conditional narrowing without conditions

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

The rational numbers as an abstract data type

Journal of the ACM (JACM)

Meadows and the equational specification of division

Theoretical Computer Science

Elementary algebraic specifications of the rational function field

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

Relationships between equational and inductive data types

Formal Methods in Software and Systems Modeling