Exploring the World of Lucid Dreaming by Stephen LaBerge, chapter 10 "Overcoming Nightmares".