Elementary induction on abstract structures - Moschovakis, Yiannis (Dover Publications, Inc., 2008)
Republication 2008