ISO catalogue. (International Organization for Standardization, 1983)