Peter Burmeister Mercè Llabrés Francesc Rosselló Pushout Complements for Partly Total Algebras. 177-201 2002 12 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs12.html#BurmeisterLR02