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

SpringerLink (Online service), Kordon, F., & Lemoine, M. (2004). Formal Methods for Embedded Distributed Systems: How to master the complexity. Springer US.

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

SpringerLink (Online service), Fabrice Kordon, και Michel Lemoine. Formal Methods for Embedded Distributed Systems: How to Master the Complexity. Boston, MA: Springer US, 2004.

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

SpringerLink (Online service), et al. Formal Methods for Embedded Distributed Systems: How to Master the Complexity. Springer US, 2004.