Puzzles in Logic, Languages and Computation The Green Book - Radev, Dragomir (Springer Berlin Heidelberg : Imprint: Springer, 2013)