APA način citiranja (7. izdanje)

SpringerLink (Online service), Schnieder, E., & Tarnai, G. (2011). FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg.

Čikaški stil citiranja (17. izdanje)

SpringerLink (Online service), Eckehard Schnieder, i Geza Tarnai. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

MLA način citiranja (9. izdanje)

SpringerLink (Online service), et al. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.