Book

Formal Techniques for Distributed Systems

by Holger Giese