Janicki, R., & Lauer, P. E. (1992). Specification and analysis of concurrent systems: The COSY approach. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Janicki, Ryszard, και Peter E. Lauer. Specification and Analysis of Concurrent Systems: The COSY Approach. Berlin: Springer-Verlag, 1992.
Παραπομπή σε μορφή MLA (8th εκδ.)Janicki, Ryszard, και Peter E. Lauer. Specification and Analysis of Concurrent Systems: The COSY Approach. Springer-Verlag, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.