This is a final draft of the book. To be published by MIT Press around fall 2011. Related papers: http://sunnyday.mit.edu/safer-world/index.html http://sunnyda

This is a final draft of the book. To be published by MIT Press around fall 2011. Related papers: http://sunnyday.mit.edu/safer-world/index.html http://sunnyday.mit.edu/safer-world/index.html