APA način citiranja

Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.

Čikaški stil citiranja

Ahrendt, Wolfgang, i Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.

MLA način citiranja

Ahrendt, Wolfgang, i Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.