1. Berners-Lee, T., Hendler, J., Lassila, O., et al.: The semantic web. Sci. Am. 284(5), 28–37 (2001)
2. Necula, G.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 106–119. ACM (1997)
3. The Coq Development Team: The coq proof assistant reference manual: Version 8.4 (2012)
http://coq.inria.fr
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);EM Tadjouddine,2007
5. Tadjouddine, E., Guerin, F., Vasconcelos, W.: Abstractions for model-checking game-theoretic properties of auctions. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3, International Foundation for Autonomous Agents and Multiagent Systems, pp. 1613–1616 (2008)