Title: Catalogue of I E C publications, 1980