Star Wars: The Empire Strikes Back, Hardcover/Editors of Studio Fun International