A Complete Calculus for Equational Deduction in Coalgebraic Specification (1998)

by A Corradini
Venue:Recent Trends in Algebraic Development Techniques, WADT 97, volume 1376 of Lect. Notes in Comp. Sci