[FOM] query about Woodin's 1983 proof of AD^L(R)

[Rupert McCallum]

In his survey article on the continuum hypothesis Hugh Woodin writes "Finally in 1983 I proved the determinacy of all projective sets using large cardinal axioms in a natural hierarchy which begins with the axiom which Martin used to establish the determinacy of all Sigma^1_2 sets."

What is this "natural hierarchy"? Is there a place where one can read Woodin's 1983 proof?