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

SpringerLink (Online service), Frappier, M., Glässer, U., Khurshid, S., Laleau, R., & Reeves, S. (2010). Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Springer Berlin Heidelberg.

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

SpringerLink (Online service), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, και Steve Reeves. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

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

SpringerLink (Online service), et al. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Springer Berlin Heidelberg, 2010.