APA aipamena

Janicki, R., & Lauer, P. E. (1992). Specification and analysis of concurrent systems: The COSY approach. Springer-Verlag.

Chicago Style aipamena

Janicki, Ryszard, and Peter E. Lauer. Specification and Analysis of Concurrent Systems: The COSY Approach. Berlin: Springer-Verlag, 1992.

MLA aipamena

Janicki, Ryszard, and Peter E. Lauer. Specification and Analysis of Concurrent Systems: The COSY Approach. Springer-Verlag, 1992.