Structural induction on partial algebras - Reichel, Horst (Akademie-Verlag, 1984)