Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems

Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications

Relating CASL with other specification languages: the institution level

Theoretical Computer Science

Translationg OBJ3 into CASL: The Institution Level

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

Piecewise modelling with state subtypes

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Principles of proof scores in CafeOBJ

Theoretical Computer Science

Parameterisation for abstract structured specifications

Theoretical Computer Science