Add references to specifications