CDS/ISIS Reference Manual - [UNESCO] (Unesco, 1985)