Formal Methods in System Design. Springer US.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रFormal Methods in System Design. Springer US.
एमएलए (9वां संस्करण) प्रशस्ति पत्रFormal Methods in System Design. Springer US.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.