1. H.R. Andersen, An Introduction to Binary Decision Diagrams, Lecture Notes, IT University of Copenhagen, 1999.
2. B. Bahrak, A. Deshpande, M. Whitaker, J. Park, BRESAP: a policy reasoner for processing spectrum access policies represented by binary decision diagrams, in: IEEE International Dynamic Spectrum Access Networks Symposium (DySPAN), April 2010.
3. J.W. Bryans, Formal analysis of access control policies, in; 5th All Hands Meeting, AHM2006, Nottingham, UK, 18th–21st September 2006.
4. DARPA XG Working Group, The XG Vision, Request for Comments, prepared by BBN Technologies, July 2003.
5. G. Denker, D. Elenius, R. Senanayake, M.-O. Stehr, D. Wilkins, A policy engine for spectrum sharing, in: Proceedings of 2007 IEEE DySPAN, April 2007, pp. 55–65.