Remove broken link to "Deep Specifications and Certified Abstraction Layers".
Merge pull request #7 from yallop/deep-specifications-broken-link

Remove broken link to "Deep Specifications and Certified Abstraction Layers"