Annika Wagner;Martin Gogolla
-;-
Pushout complements for partly total algebras
Mathematical Structures in Computer Science