LibraryASN1module DEFINITIONS ::=
BEGIN
  Library ::= SEQUENCE {
     address   UTF8String DEFAULT "Sophia-Antipolis, France", 
     documents SEQUENCE OF Document
  }
  
  Document ::= SEQUENCE {
     title     UTF8String (SIZE(1..128)),
     status    ENUMERATED {draft, published, historical},
     authors   SEQUENCE OF UTF8String,
     number    CHOICE { 
        es     INTEGER,  
        eg     INTEGER,
        tr     INTEGER  
     }  OPTIONAL,
     updated   DATE
  }


END