Developments of theory and practice of thesauri in short outline