Added links to abstractions