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

Dastani, M., Hindriks, K. V., & Meyer, J. C. (2010). Specification and Verification of Multi-agent Systems. Springer Science+Business Media, LLC.

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

Dastani, Mehdi, Koen V. Hindriks, και John-Jules Charles Meyer. Specification and Verification of Multi-agent Systems. Boston, MA: Springer Science+Business Media, LLC, 2010.

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

Dastani, Mehdi, et al. Specification and Verification of Multi-agent Systems. Springer Science+Business Media, LLC, 2010.