Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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