Books by G Gordon Davis