MLA

Graf, and Mahesh Viswanathan. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2015.

APA

Graf, G., & Viswanathan, M. (2015). Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing.

Chicago

Graf, and Mahesh Viswanathan. Formal Techniques for Distributed Objects, Components, and Systems. : Springer International Publishing, 2015.