SpringerLink (Online service), Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Claus Lewerentz, and Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin ; New York: Springer-Verlag, 1995.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.
Warning: These citations may not always be 100% accurate.