Books by Richard Devine