[Summer+08]