# Reference for consistency strength of ZFC + AD$^{L(R)}$

I was hoping to get a reference particularly for the $$\Leftarrow$$ half of the equiconsistency $$\operatorname{Con}(\mathrm{ZFC} + \text{“There are infinitely many Woodin cardinals"}) \iff \operatorname{Con}\left(\mathrm{ZFC} + \mathrm{AD}^{L(R)}\right)\text.$$