Mini-micro CDS/ISIS reference manual (version 2.3) (UNESCO, 1989)