Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रNão informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
एमएलए (8वां संस्करण) प्रशस्ति पत्रNão informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.