Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2020). Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Elsevier.
Chicago-viite (17. p.)Gutierrez, J., M. Najib, G. Perelli, ja M. Wooldridge. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
MLA-viite (9. p.)Gutierrez, J., et al. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.