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

by Andrea Corradini, Andrea Corradini
Venue:Recent Trends in Algebraic Development Techniques, WADT 97, volume 1376 of LNCS