Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.
Lua i Stíl Chicago (17ú heag.)Lewerentz, Claus, agus Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin: Springer-Verlag, 1995.
Lua MLA (9ú heag.)Lewerentz, Claus, agus Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.