Dragomir Radev has edited and compiled Puzzles in Logic, Languages, and Computation, which has been published by Springer. The two-volume set brings together the best English-language problems created for students competing in the North American Computational Linguistics Olympiad (NACLO), which Radev cofounded in 2007.