PICmicro reference
The PICmicro timer