APA način citiranja

Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.

Čikaški stil citiranja

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

MLA način citiranja

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

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