Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.
Цитирование в стиле Чикаго (17-е изд.)Lewerentz, Claus, и Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.
Цитирование MLA (8-е изд.)Lewerentz, Claus, и Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.