There is this nice expository note:  
Carter M., 1995, "An expository note on the composite commodity theorem," Economic Theory, 5, 175-179  
and an interesting generalization by  
Lewbel, A., 1996, "Aggregation without Separability: A Generalized Composite Commodity Theorem," American Economic Review, 86, 524-543.