APA-viite (7. p.)

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

Chicago-viite (17. p.)

Shukla, Sandeep K., Sandeep Kumar Shukla, ja Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. New York, NY: Springer US, 2010.

MLA-viite (8. p.)

Shukla, Sandeep K., et al. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. Springer US, 2010.