Notation and Cardinality

What is the reference document for the TDM implementation of IE notation? I can’t find where the definitions described in the Notation and Cardinality section of help originate.

Thanks,
Dave Reed