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

SpringerLink (Online service), Misra, J., Nipkow, T., & Sekerinski, E. (2006). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Springer Berlin Heidelberg.

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

SpringerLink (Online service), Jayadev Misra, Tobias Nipkow, και Emil Sekerinski. FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.

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

SpringerLink (Online service), et al. FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Springer Berlin Heidelberg, 2006.