Reasoning about systems with many processes (1992)

by A P Sistla, S M German
Venue:J. ACM