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

Wagner, I., & Bertacco, V. (2011). Post-Silicon and Runtime Verification for Modern Processors. Springer US.

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

Wagner, Ilya, και Valeria Bertacco. Post-Silicon and Runtime Verification for Modern Processors. Boston, MA: Springer US, 2011.

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

Wagner, Ilya, και Valeria Bertacco. Post-Silicon and Runtime Verification for Modern Processors. Springer US, 2011.