Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.
Chicago-Zitierstil (17. Ausg.)Lewerentz, Claus, und Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin: Springer-Verlag, 1995.
MLA-Zitierstil (9. Ausg.)Lewerentz, Claus, und Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.