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

SpringerLink (Online service), Shukla, S. K., & Talpin, J. (2010). Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Springer US : Imprint: Springer.

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

SpringerLink (Online service), Sandeep K. Shukla, και Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Boston, MA: Springer US : Imprint: Springer, 2010.

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

SpringerLink (Online service), et al. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Springer US : Imprint: Springer, 2010.