MLA

Baier, Luís Caires, and Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2018.

APA

Baier, B., Luís Caires, L. Caires, & Caires, L. (2018). Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing.

Chicago

Baier, Luís Caires, and Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems. : Springer International Publishing, 2018.