Παραπομπή σε μορφή APA (7η εκδ.)

Biere. (2020). Tools and Algorithms for the Construction and Analysis of Systems (1.). Springer International Publishing.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Biere. Tools and Algorithms for the Construction and Analysis of Systems. 1. Springer International Publishing, 2020.

Παραπομπή σε μορφή MLA (8th εκδ.)

Biere. Tools and Algorithms for the Construction and Analysis of Systems. 1. Springer International Publishing, 2020.