Theoretical Issues in the Design and Verification of Distributed Systems (1983)

by A P Sistla