Books by Gerard M. Devlin