Structural induction on partial algebras introduction to theory and application of partial algebras - Reichel, Horst