APA (7. basım) Alıntı

SpringerLink (Online service), Bowen, J. P., Siddiqi, J., & Boca, P. (2010). Formal methods: State of the art and new directions. Springer-Verlag.

Chicago Style (17. basım) Atıf

SpringerLink (Online service), Jonathan P. Bowen, Jawed Siddiqi, ve Paul Boca. Formal Methods: State of the Art and New Directions. London: Springer-Verlag, 2010.

MLA (8th ed.) Atıf

SpringerLink (Online service), et al. Formal Methods: State of the Art and New Directions. Springer-Verlag, 2010.