Proença, J., & Lumpe, M. (2020). Formal Aspects of Component Software. Springer International Publishing.
Trích dẫn kiểu ChicagoProença, José, và Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
Trích dẫn MLAProença, José, và Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.