Searching for links to ChainRule:
DifferentialCalculus
QuotientRule