Elementary induction on abstract structures - Μοσχοβάκης, Γιάννης Ν. (North-Holland, 1974)