Mini-micro CDS/ISIS 23 reference manual & CDS/ISIS pascal manual - UNESCO (UNESCO Paris, 1989)