12. WADT 1997:
: Membership algebra as a logical framework for equational specification.
: Correctness of a logical system for structured specifications.
: Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
: A Completeness result for equational deduction in coalgebraic specification.
: Open maps as a bridge between algebraic observational equivalence and bisimilarity.
: Towards the one-tiered design of data types and transition systems.
The information on this page was contributed by Martin Gogolla