Hi, We are going up to Bletchley Park next month and thought it'd be nice to read a bit with DD before we go. Couldn't really see anything specific on Amazon, was wondering if there's any books with a small section about him and his work?