Gaya APA

Peled, D, A., Tsay, Y. (2005). Automated Technology for Verification and Analysis (1st ed.). Berlin, Heidelberg: Springer.

Gaya MLA

Peled, Doron, A.., Tsay, Yih-Kuen.. "Automated Technology for Verification and Analysis". 1st ed. Berlin, Heidelberg: Springer, 2005. E Book.