International Association of Microbiologists. International Committee on Bacteriological Nomenclature. Judicial Commission