Labels added.
Validated by bibdesk
Extended introduction with another reference