1. Ågotnes, T., Harrenstein, P., Van Der Hoek, W., Wooldridge, M.: Verifiable equilibria in boolean games. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 689–695. AAAI Press (2013)
2. Baxter, G., Sommerville, I.: Socio-technical systems: From design methods to systems engineering. Interacting with Computers 23(1), 4–17 (2011)
3. Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Boolean games revisited. In: ECAI, pp. 265–269 (2006)
4. Bryl, V., Giorgini, P., Mylopoulos, J.: Designing socio-technical systems: from stakeholder goals to social networks. Requirements Engineering 14(1), 47–70 (2009)
5. Bulling, N., Dastani, M., Grossi, D., Harrenstein, P., Knobbout, M., Tamminga, A., van der Hoek, W., Zaluski, W.: NorMAS Workshop, Working Group ”Norms and Game Theory”, Leiden, NL (August 2013), http://www.lorentzcenter.nl/lc/web/2013/585/extra.pdf