By Lloyd Shapley. RAND's original report record identifies the year 1952 and document P-295; the later book chapter is a distinct publication record.
The abstract identifies the axiomatic construction of a value. The four-axiom decomposition and uniqueness proof in Shapley value axioms are stated explicitly here.