Text this: Strong homotopy monads, iterated loop spaces, and transfer :