Belta, C., Yordanov, B., & Aydin Gol, E. (2017). Formal Methods for Discrete-Time Dynamical Systems. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Belta, Calin, Boyan Yordanov, και Ebru Aydin Gol. Formal Methods for Discrete-Time Dynamical Systems. Cham: Springer International Publishing : Imprint: Springer, 2017.
Παραπομπή σε μορφή MLA (8th εκδ.)Belta, Calin, et al. Formal Methods for Discrete-Time Dynamical Systems. Springer International Publishing : Imprint: Springer, 2017.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.