Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.
Chicago-viite (17. p.)Lewerentz, Claus, ja Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.
MLA-viite (8. p.)Lewerentz, Claus, ja Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.