DCMA Formal (PDF)
DCMA Formal (Text)