A general purpose algorithm for analyzing concurrent programs (1983)

by R N Taylor
Venue:Commun. ACM