BS ISO/IEC 8824-3. Information technology. Part 3. Abstract Syntax Notation One (ASN.1): Constraint specification