Formal development of reactive systems : case study production cell. [ca. 1995]. In C. Lewerentz (Hrsg.), Lecture notes in computer science [Book]. Berlin [u.a.]: Springer.
ISO-690 (author-date, English)LEWERENTZ, Claus (Hrsg.). Berlin [u.a.]: Springer. ISBN 3540588671.
Modern Language Association 9th editionLewerentz, C., Herausgeber. „Formal development of reactive systems : case study production cell“. Lecture notes in computer science, book, Springer, 1995.
Mohr Siebeck - Recht (Deutsch - Österreich): Formal development of reactive systems : case study production cell, Berlin [u.a.] 1995.
Emerald - HarvardLewerentz, C. (Hrsg.). (1995), Formal development of reactive systems : case study production cell, Lecture notes in computer science, Bd. , Springer, Berlin [u.a.].
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.