Reference manuals of the Derivative library