Execution: The Guillotine, the Pendulum, the Thousand Cuts, the Spanish Donkey, and 66 Other Ways of Putting Someone to Death