“Long Distance Runaround” by Yes ought to be in there somewhere ....
“Starship Trooper” by Yes should also be on the list.