APA (7 वां संस्करण) प्रशस्ति पत्र
Tadanori Mizuno, N. S. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII .97. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Tadanori Mizuno, Norio Shiratori. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII .97. Nueva York, EUA: Springer.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Tadanori Mizuno, Norio Shiratori. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII .97. Springer.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.