MLA

Pérez, and Nobuko Yoshida. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2019.

APA

Pérez, P., & Yoshida, N. (2019). Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing.

Chicago

Pérez, and Nobuko Yoshida. Formal Techniques for Distributed Objects, Components, and Systems. : Springer International Publishing, 2019.