书目详细信息 : IRMX 86 documentation addendum for release 5