Any revenue bondholder may by mandamus or other appropriate proceedings compel the performance of any of the duties imposed upon any state official or employee or imposed upon the department or its officers, agents, or employees with respect to the collection of revenues from pledged contracts entered into by the department with veterans, and the investment and disbursement of the proceeds received from the sale of revenue bonds.