Add documentation for dependent specifications