Gaya APA
Beyer, D., Boreale, M. (2013).
Formal Techniques for Distributed Systems .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Beyer, Dirk., Boreale, Michele.
"Formal Techniques for Distributed Systems".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.