A.: Reasoning about systems with many processes (1992)

by S German, Sistla
Venue:Journal of the ACM