APA način citiranja

Proença, J., & Lumpe, M. (2020). Formal Aspects of Component Software. Springer International Publishing.

Čikaški stil citiranja

Proença, José, i Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.

MLA način citiranja

Proença, José, i Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.

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