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