I think the original article is fine as it is and has no need to cite everything which came before. But I wanted to point out that Nvidia Tegra3 shipped with big/little in 2011:

https://www.cnet.com/news/nvidias-tegra-3-cpu-increases-perf...