Links for behavioural-contracts