LaBerge is pretty much the authority on lucid dreaming. He brought it out of the realm of out-there new ager thing and into science.