A Canticle for Leibowitz, a book by Walter M. Miller Jr.