Michal Walicki Bireachability and Final Multialgebras. 408-423 2005 conf/calco/2005 CALCO http://dx.doi.org/10.1007/11548133_26 db/conf/calco/calco2005.html#Walicki05