DEC documentation reference numbers