Reasoning about systems with many processes (1992)

by S M GERMAN, A P SISTLA
Venue:Journal of the ACM