APA (7 वां संस्करण) प्रशस्ति पत्र
Davis, J. (1993). Specification and Proof in real- time CSP. Press Sydicate.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Davis, Jim. Specification and Proof in Real- Time CSP. Cambridge: Press Sydicate, 1993.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Davis, Jim. Specification and Proof in Real- Time CSP. Press Sydicate, 1993.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.