The construction of E∞ ring spaces and thus E∞ ring spectra from bipermutative
categories gives the most highly structured way of obtaining the K–theory
commutative ring spectra. The original construction dates from around 1980 and
has never been superseded, but the original details are difficult, obscure,
and slightly wrong. We rework the construction in a much more elementary
fashion.