Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Olderog, E., & Steffen, B. (1999). Correct System Design: Recent Insights and Advances (1st ed. 1999.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-48092-7

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Ernst-Rüdiger Olderog, και Bernhard Steffen. Correct System Design: Recent Insights and Advances. 1st ed. 1999. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48092-7.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Correct System Design: Recent Insights and Advances. 1st ed. 1999. Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48092-7.