A complete calculus for equational deduction in coalgebraic specification (1998)

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