1. Armando, Alessandro, Roberto Carbone, Luca Compagna, Jorge Cuellar, and Llanos Tobarra. 2008. Formal Analysis of SAML 2.0 Web Browser Single Sign-on for Google Apps. FMSE ’08: Proceedings 6th ACM Workshop on Formal Methods in Security Engineering, 1–10.
2. Athey, Susan. 2018. The Impact of Machine Learning on Economics. In The Economics of Artificial Intelligence: An Agenda, National Bureau of Economic Research.
3. Bar-Shalom, Yaakov (ed.). 1992. Multitarget-Multisensor Tracking: Advanced Application. Miami: Artech House.
4. Beal, Jacob, and Patrick H. Winston. 2009. Guest Editors’ Introduction: The New Frontier of Human-Level Artificial Intelligence. IEEE Intelligent Systems 24 (4): 21–23.
5. Bekey, George. 2008. Robotics: State of the Art and Future Challenges. London: Imperial College Press.