International directory of programmed instruction Repertoire International d'enseignement programme. (UNESCO, 1973)