Theory of partial algebraic operations - Ljapin E S; Evseev A E (1997)