Spectrum Trading in Cognitive Radio Networks: A Contract-Theoretic Modeling Approach | IEEE Journals & Magazine | IEEE Xplore