Neil Ghani ßn-Equality for Coproducts. 171-185 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#Ghani95