Complex cobordism and stable homotopy groups of spheres by Ravenel & 'Ravenel'