I got this book because Tony Hoare's name is on the cover. However, be warned that he was the editor, not the author (although he also authored/cpauthored two of the papers in this collection).
Most of the papers that make up the book were presented at a conference a few years earlier (1987; when I was in fourth grade, for whatever that's worth). A significant chunk refer to the Occam programming language in some way, and they convinced me to give that language a second look. David May's name appears on several papers (he was the main designer of Occam, and has a home page at http://www.cs.bris.ac.uk/~dave/ ).
Overall the book serves as a great example that academic research papers can be entertaining, and formal methods and reports don't have to be long-winded.