[VMG]

Also this: http://research.microsoft.com/en-us/um/people/leino/puzzles....

Does anyone know of any good books with these kinds of problems?