Books by John F. Antal