Proença, J., & Lumpe, M. (2020). Formal Aspects of Component Software. Springer International Publishing.
Chicago Style aipamenaProença, José, và Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
MLA aipamenaProença, José, và Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.