Computer-assisted derivation of steady-state rate equations.