Introduction to theory and application of partial algebras (Akad.-Verl., 1984)