Industrial development revenue bonds may be issued as provided by Colorado statute.