Theoretical issues in the design and verification of distributed systems (1983)

by A P Sistla