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

SpringerLink (Online service), Dastani, M., Hindriks, K. V., & Meyer, J. C. (2010). Specification and Verification of Multi-agent Systems. Springer US.

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

SpringerLink (Online service), Mehdi Dastani, Koen V. Hindriks, και John-Jules Charles Meyer. Specification and Verification of Multi-agent Systems. Boston, MA: Springer US, 2010.

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

SpringerLink (Online service), et al. Specification and Verification of Multi-agent Systems. Springer US, 2010.