It explains subtraction using renaming for parents.  Brendan’s 2nd covering this at the moment.

http://www.ncca.biz/Parents/Subtraction/Subtraction_with_renaming.html