Bjorner, D., Broy, M., & Pottosi, I. V. (1993). Formal methods in programming and their applications: International conference, Academgorodok, Russia, June/July 1993 proceedings. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रBjorner, D., Mandred Broy, और Igor V. Pottosi. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June/July 1993 Proceedings. Berlin: Springer-Verlag, 1993.
एमएलए (9वां संस्करण) प्रशस्ति पत्रBjorner, D., et al. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June/July 1993 Proceedings. Springer-Verlag, 1993.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.