Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.
Style de citation Chicago (17e éd.)Lewerentz, Claus, et Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Lewerentz, Claus, et Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.