Definition of one or more references
Keywords: reference
One or more reference definitions can be provided.
Definition:
refs_def := ref_def | ref_specs
One or more reference definitions can be provided.
refs_def := ref_def | ref_specs