APA način citiranja (7. izdanje)

Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.

Čikaški stil citiranja (17. izdanje)

Lewerentz, Claus, i Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin: Springer-Verlag, 1995.

MLA način citiranja (9. izdanje)

Lewerentz, Claus, i Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.