Complex Topological K-Theory by Efton Park