APA (7e ed.) Bronvermelding

Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.

Chicago (17e ed.) Bronvermelding

Lewerentz, Claus, en Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.

MLA (8e ed.) Bronvermelding

Lewerentz, Claus, en Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.

Let op: Deze citaties zijn niet altijd 100% accuraat.