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.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.