Puzzles in Logic, Languages and Computation door Dragomir Radev