APA (7 वां संस्करण) प्रशस्ति पत्र
Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. iSTE : Wiley.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE : Wiley, 2014.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.