MLA

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

APA

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

Chicago

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