I want to know the answer to the following question:
What is the formal name for a CD?
All the background I'm provided with is that "The document is known colloquially as the Red Book CD-DA after the colour of its cover.". Is that enough to answer the question?
Answer: no