APA (7 वां संस्करण) प्रशस्ति पत्र
Mathai Joseph. Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Mathai Joseph. Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings. Berlín, Alemania: Springer.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Mathai Joseph. Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings. Springer.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.