Books Authored by John E. Petty