name DocReference

requires CommonBase
requires DocBase
requires DocEnglishBase
requires DocEnglishRefGuide
endrequires
