Intrroduction to mini CDS/ISIS 2.3 Reference manual CDS/ISIS Pascal - Townsend, John C.