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

Gabbar, H. A. (2006). Modern Formal Methods and Applications. Springer.

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

Gabbar, Hossam A. Modern Formal Methods and Applications. Dordrecht: Springer, 2006.

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

Gabbar, Hossam A. Modern Formal Methods and Applications. Springer, 2006.