APA način citiranja (7. izdanje)

Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.

Čikaški stil citiranja (17. izdanje)

Luca, F., J. Ouaknine, i J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.

MLA način citiranja (9. izdanje)

Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.