W
[WSH15] Farn Wang, Sven Schewe, and Chung-Hao Huang. An extension of ATL with Strategy Interaction. ACM Transactions on Programming Languages and Systems 37(3). ACM Press, June 2015. 
@article{toplas37(3)-WSH,
  author =              {Wang, Farn and Schewe, Sven and Huang, Chung-Hao},
  title =               {An~extension of~{ATL} with Strategy Interaction},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Programming Languages and
                         Systems},
  volume =              {37},
  number =              {3},
  year =                {2015},
  month =               jun,
  doi =                 {10.1145/2734117},
}
List of authors