Andrea Corradini A Completeness result for equational deduction in coalgebraic specification. 190-205 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#Corradini97