Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रLewerentz, Claus, और Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin: Springer-Verlag, 1995.
एमएलए (9वां संस्करण) प्रशस्ति पत्रLewerentz, Claus, और Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.