Base change functors in the 𝔸 1 -stable homotopy category. Hu, Po (2001) Homology, Homotopy and Applications