Pauly, Marc. “Modeling Coalitional Power in Modal Logic”. Proceedings of the Amsterdam Colloquium, Dec. 1999, pp. 205-10, https://doi.org/10.53437/czhcq743.