SpringerLink (Online service) & Gabbar, H. A. (2006). Modern formal methods and applications. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service) और Hossam A. Gabbar. Modern Formal Methods and Applications. Dordrecht: Springer, 2006.
एमएलए (8वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service) और Hossam A. Gabbar. Modern Formal Methods and Applications. Springer, 2006.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.