APA Style
Graf, S., Viswanathan, M. (2015).
Formal Techniques for Distributed Objects, Components, and Systems .
Cham:
Springer.
MLA Style
Graf, Susanne., Viswanathan, Mahesh.
"Formal Techniques for Distributed Objects, Components, and Systems".
Cham:
Springer,
2015.
Text.