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

SpringerLink (Online service), Boiten, E. A., Derrick, J., & Smith, G. (2004). Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Springer Berlin Heidelberg.

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

SpringerLink (Online service), Eerke A. Boiten, John Derrick, και Graeme Smith. Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

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

SpringerLink (Online service), et al. Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Springer Berlin Heidelberg, 2004.