1. R. M. Sreenath and M.P. Singh, "Agent-based Service Selection," Journal of Web Semantics: Science, Services and Agents on the World Wide Web, vol. 1, no. 3, pp. 261--279, 2004.
2. X. Zhang, S. Oh and R. Sandhu, "PBDM: a flexible delegation model in RBAC," In proceedings of the eighth ACM Symposium on Access control models and technologies (SACMAT ), New York, NY, USA, pp. 149--157, 2003.
3. Néstor Cataño, Sorren Hanvey, and Camilo Rueda, "Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies", TOOLS 50, Lecture Notes in Computer Science, Springer, vol. 7304 pp. 9--16, 2012.
4. J. M. Spivey, The Z Notation: A Reference Manual. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1989.
5. C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.