"Verifying distributed systems: the operational approach."

Tom Ridge (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics