James Nance's Intermediate Logic, Rules of Replacement, explained part 3.
No download links available.