New pattern: Use Invriants to Kill Zombies (issue #34)
  Completed work on this specific use of invariants
  Also added some bibliography along the way
  and corrected a small typo in the pattern index (missing dot before assertions)